Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Enhancing Model-Based Development of Embedded Systems: Modeling, Simulation and Model-Transformation in an Auotmotive Context
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Systems.
2012 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

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 verifying embedded systems. The focus is mainly on EAST-ADL’s Timing Model (TM) and Behavior Description Annex (BDA). The TM is used for specifying a system’s timing related constraints such as delays and precedence. The BDA not only provides support for modeling behavior using a common formalism but also combines different behavior types for expressing logic, execution and error. The results are a) a formal interpretation of the TM through its transformation to TA, and b) an algorithm for transforming BDA to TA. While the former enables checking consistency between the artifacts of a TM the latter can be used for a holistic behavioral analysis.

In the second contribution, different possibilities to realize EAST-ADL models by AUTOSAR software architecture (a standard for developing automotive embedded software) are studied. The main result is an enhanced mapping scheme between EAST-ADL and AUTOSAR. The findings can serve as guidelines for realizing configurations in EAST-ADL as AUTOSAR parameters.

The third contribution addresses advanced embedded system features by evaluating the TM and TA for dynamic configuration mechanisms and studying Stateflow and SimEvents as alternatives for simulating architectural specifications based on EAST-ADL’s BDA. The results include a) an account of possibilities and issues related to the TM and TA integration studied in this thesis for dynamic configuration mechanisms, b) a comparison of Stateflow and SimEvents in terms of both underlying modeling formalisms and as tools and c) a discussion on possible future opportunities and issues for integrating EAST-ADL, SimEvents, Stateflow and timed automata for the envisioned integrated development environment.

The work is supported by several case studies including a brake-by-wire system, an emergency braking system, a position and a fuel control system, an automatic drive train, and a dynamic reconfiguration scenario related to the relocation of a software component from a failed processing unit to a working one in a microprocessor-based distributed system.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2012. , xvii, 111 p.
Series
Trita-MMK, ISSN 1400-1179 ; 2012:16
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-103799ISBN: 978-91-7501-465-4 (print)OAI: oai:DiVA.org:kth-103799DiVA: diva2:561772
Public defence
2012-11-02, Gladen, B314, Brinellvägen 85, KTH, Stockholm, 09:00 (English)
Opponent
Supervisors
Note

QC 20121022

Available from: 2012-10-22 Created: 2012-10-22 Last updated: 2012-10-22Bibliographically approved
List of papers
1. Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
Open this publication in new window or tab >>Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
2011 (English)Conference paper, Published paper (Refereed)
Abstract [en]

EAST-ADL is an architecture description language developed for specifications of automotive embedded systems at multiple abstraction levels. Based on the best practices in model-based system development (MBD), it provides necessary artifacts for integrating and managing various concerns in an entire system lifecycle. Requirements engineering, safety engineering and the assignments of nonfunctional constraints are few examples of the concerns supported by EAST-ADL. This paper presents an effort to investigate the support for a formal verification of the execution timing constraints declared in EAST-ADL  using the UPPAAL model checker. The results include a transformation scheme and a prototype transformation employing MQL (Model Query Language). Two case studies, of an emergency braking system and a brake-by-wire system, are used to support the work.

Keyword
Model-based development, timing analysis, EAST-ADL, UPPAAL, model transformation, MDWorkbench, MQL, timed automata, formal methods, model checking.
National Category
Embedded Systems Computer Systems
Identifiers
urn:nbn:se:kth:diva-79675 (URN)
Conference
Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments
Funder
EU, FP7, Seventh Framework Programme, 260057
Note

Qc 20120214

Available from: 2012-02-14 Created: 2012-02-09 Last updated: 2012-10-22Bibliographically approved
2. A timed automata-based method to analyze EAST-ADL timing constraint specifications
Open this publication in new window or tab >>A timed automata-based method to analyze EAST-ADL timing constraint specifications
2012 (English)In: Modelling Foundations And Applications, Springer Berlin/Heidelberg, 2012, Vol. 7349 LNCS, 303-318 p.Conference paper, Published paper (Refereed)
Abstract [en]

The increasing development complexity of automotive embedded systems has led to industrial needs of improved information management, early verification and validation of a system etc. EAST-ADL; an automotive-specific architectural description language provides a structured model-based approach for information management throughout the development process. A method to formally analyze consistency of EAST-ADL based timing constraint specifications using timed-automata is presented. A mapping scheme providing a basis for automated model-transformations between EAST-ADL and timed-automata is the main contribution. The method is demonstrated with a case study of a brake-by-wire system. Guidelines for extending the mapping framework are also provided.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7349
Keyword
EAST-ADL, Model-based development, Timed-Automata, Timing Constraints, UPPAAL
National Category
Engineering and Technology
Identifiers
urn:nbn:se:kth:diva-100297 (URN)10.1007/978-3-642-31491-9_23 (DOI)2-s2.0-84864052292 (Scopus ID)978-364231490-2 (ISBN)
Conference
8th European Conference on Modelling Foundations and Applications, ECMFA 2012;Kgs. Lyngby; 2 July 2012 through 5 July 2012
Note

QC 20120807

QC 20151216

Available from: 2012-08-07 Created: 2012-08-06 Last updated: 2015-12-16Bibliographically approved
3. Bridging the Gap Between EAST-ADL Behavior Description Annex and UPPAAL to Enhance Tool Support for Verifying Cyber-Physical Systems
Open this publication in new window or tab >>Bridging the Gap Between EAST-ADL Behavior Description Annex and UPPAAL to Enhance Tool Support for Verifying Cyber-Physical Systems
(English)Manuscript (preprint) (Other academic)
National Category
Engineering and Technology
Identifiers
urn:nbn:se:kth:diva-103806 (URN)
Note

QS 2012

Available from: 2012-10-22 Created: 2012-10-22 Last updated: 2012-10-22Bibliographically approved
4. From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme
Open this publication in new window or tab >>From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme
2011 (English)In: 5th European Conference on Software Architecture, ECSA 2011: Software Architecture / [ed] Ivica Crnkovic, Volker Gruhn and Matthias Book, Springer Berlin/Heidelberg, 2011, 328-335 p.Conference paper, Published paper (Refereed)
Abstract [en]

This paper addresses the gap between models describing system requirements, functions and architecture at a higher level of abstraction (such as SysML models), with respect to software/hardware architecture description (such as the AADL models) as the means to improve the development process or embedded systems. The EAST-ADL and AUTOSAR are the two focused architecture description formalisms in the presented work. While EAST-ADL is an architecture description language providing an extension and profiling of SysML dedicated to automotive embedded systems, AUTOSAR provides means to describe software architecture architectures. The contribution of the paper is a relationship investigation between different concepts of the two languages. Three case studies, of a position control , fuel control and a brake-by-wire system, have been used to support and validate the work. The resulting mapping scheme provides a basis for automated architecture refinements and synthesis.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2011
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6903
Keyword
AUTOSAR, Model-based Development, EAST-ADL, Embedded Systems, Architecture Description Language, Model Transformation
National Category
Embedded Systems
Identifiers
urn:nbn:se:kth:diva-63307 (URN)10.1007/978-3-642-23798-0_35 (DOI)000306397800035 ()2-s2.0-80053211070 (Scopus ID)978-3-642-23797-3 (ISBN)
Conference
5th European Conference on Software Architecture, ECSA 2011. Essen. 13 September 2011 - 16 September 2011
Funder
EU, FP7, Seventh Framework Programme, 260057
Note

QC 20120127. QC 20160212

Available from: 2012-01-23 Created: 2012-01-23 Last updated: 2016-02-12Bibliographically approved

Open Access in DiVA

fulltext(2210 kB)1433 downloads
File information
File name FULLTEXT03.pdfFile size 2210 kBChecksum SHA-512
bae6c3b99be19ecbdec9d727d84efbd84f89f6d1a2e7f4e41a49630d6e413a5045ea2db08b98dc258a8905b0cf98f271f084c9d5e0bc79f441b9e4f658b4f670
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Qureshi, Tahir Naseer
By organisation
Embedded Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 1433 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 547 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf