Towards Open Modular Critical Systems

Conference paper


The main strategic objectives of the embedded systems industry are increased design and manufacturing productivity and quality. The appearance of general purpose design and implementation components and platforms requires new paradigms for creating critical embedded systems out of standardized COTS components. Another main driver and simultaneously a source of potential dangers is the integration of embedded systems with the cyber world for value added global services exposing them to security threats. The talk gives an overview on the efforts of supporting the new trends by formal methods complementing model-based design paradigms.


Critical embedded Systems model-based Design Formal Methods security-safety co-modeling 

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Personalised recommendations