publication . Doctoral thesis . 2012

Enhancing Model-Based Development of Embedded Systems : Modeling, Simulation and Model-Transformation in an Auotmotive Context

Qureshi, Tahir Naseer;
Open Access English
  • Published: 01 Jan 2012
  • Publisher: KTH, Inbyggda styrsystem
  • Country: Sweden
The increased usage of embedded computer systems in products like automobiles has not only introduced new innovations, additional safety and comfort but also increased the product and development complexity. Several model-based development (MBD) approaches have been proposed to support the management of such complexity. The thesis is aimed towards an integrated environment for MBD of automotive embedded systems. The envisioned environment features model exchange, and choice of modeling techniques, formalisms and tools in an efficient manner. The first contribution is an integration of EAST-ADL, an automotive specific ADL with a timed automata (TA) formalism for ...
Related Organizations
Download from
20 references, page 1 of 2

• Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren, Lei Feng and Magnus Persson, Experiences in Simulating a Dynamically Self-Configuring Middleware: A Case Study of DySCAS, Technical Report KTH-TRITA-MMK 2009:04. [OpenAIRE]

[4] [5] [6] [7] [8] [9] AADL website., Last Accessed, 2012.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES - A Tool for Modelling and Implementation of Embedded Systems. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '02, pages 460-464, London, UK, UK, 2002. Springer-Verlag.

Richard Anthony and Cecilia Ekelin. Policy-Driven Self-Management for an Automotive Middleware. In Proceedings of the 1st International Workshop on Policy-Based Autonomic Computing (PBAC 2007), Jacksonville, Florida, USA, June 11-15 2007.

[10] Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Automated Analysis of an Audio Control Protocol Using UPPAAL. Journal of Logic and Algebraic Programming, 52-53:163-181, July-August 2002.

[11] Johan Bengtsson and Wang Yi. Timed Automata: Semantics, Algorithms and Tools. In Lectures on Concurrency and Petri Nets, volume 3098 of LNCS, pages 87-124. Springer Berlin / Heidelberg, 2004.

[12] [13] [14] [15] [17] [18] [19] [16] Jan Bosch. Architecture-centric software engineering. In Robert Nord, editor, Software Product Lines, volume 3154 of Lecture Notes in Computer Science, pages 22-24. Springer Berlin / Heidelberg, 2004.

for UML. In Proceedings of the 2006 international conference on Models in software engineering, MoDELS'06, pages 318-323. Springer-Verlag, 2006.

CORBA website., Last Accessed, 2010.

[41] Jad El-khoury, DeJiu Chen, and Martin Törngren. A Survey of Modeling Approaches for Embedded Computer Control Systems. Technical Report TRITA-MMK 2003:11, ISSN 1400-1179, ISRN/KTH/MMK/R-03/11-SE, Mechatronics Lab, Department of Machine Design, KTH, Stockholm, Sweden, 2003.

[42] Esterel Technologies. SCADE User Manual. Technical Report Revision SCGS - SC/u3-612, 2009.

[43] Lei Feng, De-Jiu Chen, Henrik Lönn, and Martin Törngren. Verifying System Behaviors in EAST-ADL2 with the SPIN Model Checker. In Mechatronics and Automation (ICMA), 2010 International Conference on, pages 144 -149, August 2010.

[44] Lei Feng, DeJiu Chen, Magnus Persson, Tahir Naseer Qureshi, and Martin Törngren. Dynamic Configuration and Quality of Service in Autonomic Embedded Systems: Theory and Pratice of DySCAS Project. Technical Report TRITA-MMK 2008:12, ISSN 1400-1179, ISRN/KTH/MMK/R-08/12- SE, Mechatronics Lab, Department of Machine Design, KTH, Stockholm, Sweden, 2008.

Andreas Johnsen and Kristina Lundqvist. Developing Dependable SoftwareIntensive Systems: AADL vs. EAST-ADL. In A. Romanovsky and T. Vardanega, editors, Ada-Europe 2011, pages 103-117. Springer-Verlag, June 2011.

MAENAD website., Last Accessed, 2012.

20 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue