Home   >   Demonstrators   >   A2K

A2K

Demonstrator|ITI

Description
Integral development environment for critical embedded and real-time systems.
Member
Address
Polytechnic City of Innovation - UPV Camino de Vera, s/n. Bldg. 8G, Access B, 4th floor 46022 Valencia
Province
Valencia
Website
Video

DEMONSTRATOR INFORMATION

DESCRIPTION

A model-based development environment for critical and real-time systems is shown, the objective of which is to guide the engineer through all phases of the development of this type of systems. The environment is composed of a set of services that cover the modelling of the components of the execution platform and the application, the deployment of the system, the analysis of performance and its non-functional properties, the simulation based on models (MiL), the generation of low-level code for the management and synchronization of the system tasks and, finally, the verification of its behaviour by means of runtime monitoring (SiL and HiL). There is also the possibility of interoperating with external tools that complement and extend the environment's own functionalities.

POSSIBILITIES

Modeling and analysis of critical embedded systems; simulation of cyber-physical systems.

TECHNOLOGICAL ENABLER

Ciber Connectivity
Cyber-Physical Systems

Tools for building critical systems/embedded software: time constraint analysis and resource planning, monitoring and simulation of cyber-physical systems