Specifying system architecture from SysML requirements and component interfaces

Authors:
Samir Chouali;Oscar Carrillo;Hassan Mountassir
Affiliations:
Femto-ST Institute, University of Franche-Comté, Besançon, France;Femto-ST Institute, University of Franche-Comté, Besançon, France;Femto-ST Institute, University of Franche-Comté, Besançon, France
Venue:
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Year:
2013

Citing 6
Cited 0

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A behavioral type system and its application in Ptolemy II

Formal Aspects of Computing
A Framework to Specify Incremental Software Architecture Transformations

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Constructing Component-Based Systems Directly from Requirements Using Incremental Composition

SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Formal verification of components assembly based on SysML and interface automata

Innovations in Systems and Software Engineering
Formalizing and verifying compatibility and consistency of SysML blocks

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose to map functional system requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of requirements. At each new added requirement, we add a new component satisfying this requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the requirements are preserved.