Scenario-Based Specifications Verification for Component-Based Embedded Software Designs

Authors:
Jun Hu;Xiaofeng Yu;Linzhang Wang;Guoliang Zheng
Affiliations:
Nanjing University;Nanjing University;Nanjing University;Nanjing University
Venue:
ICPPW '05 Proceedings of the 2005 International Conference on Parallel Processing Workshops
Year:
2005

Citing 0
Cited 3

Scenario-based component behavior derivation

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Checking component-based embedded software designs for scenario-based timing specifications

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Modelling and analysis of power consumption for component-based embedded software

EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper, for embedded software systems we consider the problem of checking component-based designs for scenario-based specifications. The component-based designs are modelled by interface automaton networks which consist of a set of interface automata synchronized by shared actions, and the scenario-based specifications are specified by UML sequence diagrams. Based on investigating the reachability graph of the state space of the interface automaton networks, we develop the algorithms to check the existential consistency and the mandatory existential consistency including the forward, backward, and bidirectional mandatory existential consistency.