Bridging the semantic gap between abstract models of embedded systems

Authors:
Jagadish Suryadevara;Eun-Young Kang;Cristina Seceleanu;Paul Pettersson
Affiliations:
Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden;Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
Venue:
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Year:
2010

Citing 10
Cited 2

A theory of timed automata

Theoretical Computer Science
Challenges of component-based development

Journal of Systems and Software
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Bridging models across the software lifecycle

Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Unified Modeling Language Reference Manual, The (2nd Edition)

Unified Modeling Language Reference Manual, The (2nd Edition)
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
The SAVE approach to component-based development of vehicular systems

Journal of Systems and Software
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Analyzing a Pattern-Based Model of a Real-Time Turntable System

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of the ProCom Real-Time Component Model

SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Semantic requirements sharing approach to develop software systems using concept maps and information entropy: A Personal Health Information System example

Advances in Engineering Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 flow. 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.