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. © 2013 Springer-Verlag.
CITATION STYLE
Chouali, S., Carrillo, O., & Mountassir, H. (2013). Specifying system architecture from SysML requirements and component interfaces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7957 LNCS, pp. 348–352). https://doi.org/10.1007/978-3-642-39031-9_36
Mendeley helps you to discover research relevant for your work.