https://www.mdu.se/

mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Pattern-driven support for designing component-based architectural models.
Mälardalens högskola, Akademin för innovation, design och teknik. (Formal Modelling and Analysis of Embedded Systems)
Mälardalens högskola, Akademin för innovation, design och teknik. (Formal Modelling and Analysis of Embedded Systems)ORCID-id: 0000-0003-2870-2680
Mälardalens högskola, Akademin för innovation, design och teknik. (Formal Modelling and Analysis of Embedded Systems)ORCID-id: 0000-0003-4040-3480
2011 (engelsk)Inngår i: 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011) / [ed] Sprinkle, J; Sterritt, R; Breitman, K, 2011, s. 187-196Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2011. s. 187-196
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-12249DOI: 10.1109/ECBS.2011.20ISI: 000298802400023Scopus ID: 2-s2.0-80051962547ISBN: 978-0-7695-4379-6 (tryckt)OAI: oai:DiVA.org:mdh-12249DiVA, id: diva2:416724
Konferanse
18th IEEE International Conference on Engineering of Computer-Based Systems
Prosjekter
ARROWSPROGRESS
Forskningsfinansiär
Swedish Research Council, 2270 430 16243
Merknad

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

Tilgjengelig fra: 2011-05-12 Laget: 2011-05-12 Sist oppdatert: 2018-01-12bibliografisk kontrollert
Inngår i avhandling
1. Design and Analysis Support for Abstract Models of Component-based Embedded Systems
Åpne denne publikasjonen i ny fane eller vindu >>Design and Analysis Support for Abstract Models of Component-based Embedded Systems
2011 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
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.

 

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2011
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 132
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-12251 (URN)978-91-7485-016-1 (ISBN)
Presentation
2011-06-08, Lambda, Mälardalen University, Västerås, 13:30
Opponent
Veileder
Prosjekter
PROGRESSARROWS
Forskningsfinansiär
Swedish Research Council
Tilgjengelig fra: 2011-05-13 Laget: 2011-05-12 Sist oppdatert: 2011-06-03bibliografisk kontrollert
2. Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata
Åpne denne publikasjonen i ny fane eller vindu >>Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata
2013 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

In modern times, human life is intrinsically depending on real-time embedded systems (RTES) with increasingly safety-critical and mission-critical features, for instance, in domains such as automotive and avionics. These systems are characterized by stringent functional requirements and require predictable timing behavior. However, the complexity of RTES has been ever increasing requiring systematic development methods. To address these concerns, model-based frameworks and component-based design methodologies have emerged as a feasible solution. Further, system artifacts such as requirements/specifications, architectural designs as well as behavioral models like statemachine views are integrated within the development process. However, several challenges remain to be addressed, out of which two are especially important: expressiveness, to represent the real-time and causality behavior, and analyzability, to support verification of functional and timing behavior.

As the main research contribution, this thesis presents design and verification techniques for model-based development of RTES, addressing expressiveness and analyzability for architectural and behavioral models. To begin with, we have proposed a systematic design process to support component-based development. Next, we have provided a real-time semantic basis, in order to support expressiveness and verification for structural and behavioral models. This is achieved by defining an intuitive formal semantics for real-time component models, using ProCom, a component model developed at our research centre, and also using the CCSL (Clock Constraint Specification Language), an expressive language for specification of timed causality behavior. This paves the way for formal verification of both architectural and behavioral models, using model checking, as we show in this work, by transforming the models into timed automata and performing verification using UPPAAL, a model checking tool based on timed automata. Finally, the research contributions are validated using representative examples of RTES as well as an industrial case-study.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2013
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 146
Emneord
Embedded Systems, Model-based development, Model-Checking, Architectural Modeling, CCSL, Timed Automata
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-22328 (URN)978-91-7485-123-6 (ISBN)
Disputas
2013-12-09, Kappa, Mälardalen University, Västerås, 13:15 (engelsk)
Opponent
Veileder
Prosjekter
ARROWS
Forskningsfinansiär
Swedish Research Council, 2270 430 16243
Tilgjengelig fra: 2013-11-01 Laget: 2013-11-01 Sist oppdatert: 2013-11-18bibliografisk kontrollert

Open Access i DiVA

fulltekst(773 kB)678 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 773 kBChecksum SHA-512
eb523f538cb7ae73ecd1fbf0a379ddccd001d42e896d0e830da98861922c7482697bf2cadd43880eb6c0d5931992b7119bb8e22a286f8127bee76d63a3abced5
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Person

Seceleanu, CristinaPettersson, Paul

Søk i DiVA

Av forfatter/redaktør
Suryadevara, JagadishSeceleanu, CristinaPettersson, Paul
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 678 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 177 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf