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.
Modeling and analysis of critical embedded systems; simulation of cyber-physical systems.
Tools for building critical systems/embedded software: time constraint analysis and resource planning, monitoring and simulation of cyber-physical systems