Information Technology Reference
In-Depth Information
Towards Open Modular Critical Systems
András Pataricza
Budapest University of Technology and Economics,
Department of Measurement and Information Systems,
Magyar tudósok krt 2, 1117 Budapest, Hungary
pataric@mit.bme.hu
Abstract. The main strategic objectives of the embedded systems
industry are increased design and manufacturing productivity and
quality. The appearance of general purpose design and implementa-
tion 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 dan-
gers 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.
Keywords: Critical embedded Systems, model-based Design, Formal Meth-
ods, security-safety co-modeling.
1
Overview
Recent European initiatives, like the ARTEMIS European Technology Plat-
form aim at a drastic increase both in the productivity and quality of em-
bedded systems and the services delivered by them despite the ever growing
complexity of the functionality to be implemented. The main means sup-
porting this objective are the widespread use of ecient model-based design
methods creating reusable design artifacts and supporting a guaranteed de-
sign quality by the design intelligence built into the design frameworks.
This intelligence is able guiding and optimizing the exploitation of the
resources provided by standard platforms and pre-manufactured components,
while simultaneously guaranteeing the compliance to safety requirements in
critical applications. The presentation will give some examples taken from
ongoing European projects on the upcoming model-based design for safety
methodologies.
Another main development trend in the field of embedded systems is the
rapid appearance of cyber-physical systems combining embedded systems
This work was partly carried out during a visiting professorship at the CASED-
Center of Advanced Security Research Darmstadt and supported by the EU
projects INDEXYS (ARTEMIS) and MOGENTES (FP7).
