Change search
ReferencesLink to record
Permanent link

Direct link
Design and Analysis Support for Abstract Models of Component-based Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering. (Formal Modelling and Analysis of Embedded Systems)
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Developing industrial real-time software systems is challenging due to de- mands on system safety and reliability, through stringent system requirements in terms of functionality, timing, resource consumption etc. Due to this, the system development needs to ensure predictability before the actual imple- mentation, through reliable engineering methods. To address these challenges, model-based engineering (MBE) combined with Component-based develop- ment (CBD) has emerged as a feasible solution. MBE supports system model- ing and formal analysis through the development phases such as requirements, specification, and design. CBD supports reusability of software parts leading to faster development time, and reduced costs. However, an integrated approach needs to deal with various abstractions of the system during different phases of the development.

In this thesis, we present model-based techniques, for the development of predictable, component-based designs of embedded systems. We consider Pro- Com as the underlying component model and, as a first step, we define a for- mal semantics for its architectural elements. The given semantics provides a basis for developing analyzable embedded systems designs, associated analy- sis techniques, model transformations etc. Next, we describe some commonly- found behavioral patterns, in component-based designs. These patterns provide an abstract, and reusable specification of a real-time components functional- ity. Also, we define component-based design templates, intended to support the systematic development of component-based designs from abstract system models. Finally, we propose a formal framework to correlate statemachine- based system behavior with corresponding ProCom-based system designs. We validate our research contributions using case-studies and examples, and also by applying verification techniques, such as, model-checking.

 

Place, publisher, year, edition, pages
Västerås: Mälardalen University , 2011.
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 132
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-12251ISBN: 978-91-7485-016-1OAI: oai:DiVA.org:mdh-12251DiVA: diva2:416747
Presentation
2011-06-08, Lambda, Mälardalen University, Västerås, 13:30
Opponent
Supervisors
Projects
PROGRESSARROWS
Funder
Swedish Research Council
Available from: 2011-05-13 Created: 2011-05-12 Last updated: 2011-06-03Bibliographically approved
List of papers
1. Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Open this publication in new window or tab >>Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Show others...
2009 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 1, no 6, 161-178 p.Article in journal (Refereed) Published
Abstract [en]

Designers of industrial real-time systems are commonly faced with the problem of complex system modeling and analysis, even if a component-based design paradigm is employed. In this paper, we present a case-study in formal modeling and analysis of a turntable system, for which the components are described in the SaveCCM language. The search for general principles underlying the internal structure of our real-time system has motivated us to propose three modeling patterns of common behaviors of real-time components, which can be instantiated in appropriate design contexts. The benefits of such reusable patterns are shown in the case-study, by allowing us to produce easy-to-read and manageable models for the real-time components of the turntable system. Moreover, we believe that the patterns may pave the way toward a generic pattern-based modeling framework targeting real-time systems in particular.

National Category
Engineering and Technology
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-12250 (URN)10.1016/j.entcs.2009.09.034 (DOI)2-s2.0-70349310123 (ScopusID)
Conference
Formal Foundations of Embedded Software and Component-Based Software Architectures
Projects
PROGRESS
Available from: 2011-05-12 Created: 2011-05-12 Last updated: 2013-12-03Bibliographically approved
2. Formal semantics of the ProCom real-time component model
Open this publication in new window or tab >>Formal semantics of the ProCom real-time component model
Show others...
2009 (English)In: Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications 2009. SEAA 09, 2009, 478-485 p.Conference paper (Refereed)
Abstract [en]

ProCom is a new component model for real-timeand embedded systems, targeting the domains of vehicularand telecommunication systems. In this paper, we describehow the architectural elements of the ProCom componentmodel have been given a formal semantics. The semantics isgiven in a small but powerful finite state machine formalism,with notions of urgency, timing, and priorities. By definingthe semantics in this way, we (i) provide a rigorous and compactdescription of the modeling elements of ProCom, (ii) setthe ground for formal analysis using other formalisms, and(iii) provide an intuitive and useful description for bothpractitioners and researchers. To illustrate the approach,we exemplify with a number of particularly interestingcases, ranging from ports and services to components andcomponent hierarchies.

Keyword
real-time systems; embedded systems; component model, finite state machines; timed automata
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6553 (URN)10.1109/SEAA.2009.53 (DOI)000275857500069 ()2-s2.0-74549208521 (ScopusID)978-076953784-9 (ISBN)
Conference
EUROMICRO2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2009; Patras; 27 August 2009 through 29 August 2009
Projects
PROGRESS
Available from: 2009-07-08 Created: 2009-07-08 Last updated: 2013-12-19Bibliographically approved
3. Bridging the Semantic Gap between Abstract Models of Embedded Systems
Open this publication in new window or tab >>Bridging the Semantic Gap between Abstract Models of Embedded Systems
2010 (English)In: Lecture Notes in Computer Science, vol. 6902, Springer, 2010, 55-73 p.Chapter in book (Refereed)
Abstract [en]

In the development of embedded software, modeling languages used within or across development phases e.g., requirements, specification, design, etc are based on different paradigms and an approach for relating these is needed. In this paper, we present a formal framework for relating specification and design models of embedded systems. We have chosen UML statemachines as specification models and ProCom component language for design models. While the specification is event-driven, the design is based on time triggering and data ow. To relate these abstractions, through the execution trajectories of corresponding models, formal semantics for both kinds of models and a set of inference rules are defined. The approach is applied on an autonomous truck case-study.

Place, publisher, year, edition, pages
Springer, 2010
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6902
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-11051 (URN)10.1007/978-3-642-13238-4_4 (DOI)000281988700004 ()2-s2.0-77954590351 (ScopusID)978-364213237-7 (ISBN)
Note

13th International Symposium on Component-Based Software Engineering, CBSE 2010; Prague; 23 June 2010 through 25 June 2010

Available from: 2010-11-11 Created: 2010-11-11 Last updated: 2016-05-17Bibliographically approved
4. Pattern-driven support for designing component-based architectural models.
Open this publication in new window or tab >>Pattern-driven support for designing component-based architectural models.
2011 (English)In: 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011) / [ed] Sprinkle, J; Sterritt, R; Breitman, K, 2011, 187-196 p.Conference paper (Refereed)
Abstract [en]

The development of embedded systems often requires the use of various models such as requirements specification, architectural (component-based), and deployment models, across different phases. However, there exists little design support for obtaining suitable component-based designs that satisfy specified requirements and timing constraints. In order to provide guided support for the design process of embedded systems, we introduce several component templates, referred as patterns, which we also formally verify against relevant properties. To illustrate the usefulness of the approach, we have applied the proposed patterns to obtain a component-based design of a temperature control system.

National Category
Computer and Information Science
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-12249 (URN)10.1109/ECBS.2011.20 (DOI)000298802400023 ()2-s2.0-80051962547 (ScopusID)978-0-7695-4379-6 (ISBN)
Conference
18th IEEE International Conference on Engineering of Computer-Based Systems
Projects
ARROWSPROGRESS
Funder
Swedish Research Council, 2270 430 16243
Note

2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works

Available from: 2011-05-12 Created: 2011-05-12 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

fulltext(336 kB)380 downloads
File information
File name FULLTEXT04.pdfFile size 336 kBChecksum SHA-512
1c54ab5df848034ad5f6bd1cdc58cf2acc6d3c5075a04cd50e8447db1f684daab3a6151da1f2f28a76cdc9607818e1bd3ef4299923875703221fbf1def5c53ee
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Suryadevara, Jagadish
By organisation
School of Innovation, Design and Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 382 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

Total: 263 hits
ReferencesLink to record
Permanent link

Direct link