TY - GEN
T1 - Rethinking of I/O-automata composition
AU - Chabane, Sarah
AU - Ameur-Boulifa, Rabea
AU - Mezghiche, Mohamed
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/2
Y1 - 2017/7/2
N2 - The necessity of handling the increasing complexity of embedded systems has led to the growth of reuse-based design. At the same time, the systems must still satisfy strict requirements on reliability and correctness. This paper proposes a formal analysis of parallel composition of I/O automata. This analysis leads to identification of novel composition rules guaranteeing the correctness-by-construction, and will provide a basis for a sound compositional development of components (Intellectual Property blocks).
AB - The necessity of handling the increasing complexity of embedded systems has led to the growth of reuse-based design. At the same time, the systems must still satisfy strict requirements on reliability and correctness. This paper proposes a formal analysis of parallel composition of I/O automata. This analysis leads to identification of novel composition rules guaranteeing the correctness-by-construction, and will provide a basis for a sound compositional development of components (Intellectual Property blocks).
KW - Complex systems
KW - Data flow computing
KW - Formal specification
KW - Intellectual property Blocks
KW - System analysis and design
U2 - 10.1109/FDL.2017.8303892
DO - 10.1109/FDL.2017.8303892
M3 - Conference contribution
AN - SCOPUS:85045643144
T3 - Forum on Specification and Design Languages
SP - 1
EP - 7
BT - FDL 2017 - Proceedings of the 2017 Forum on Specification and Design Languages
PB - IEEE Computer Society
T2 - 2017 Forum on Specification and Design Languages, FDL 2017
Y2 - 18 September 2017 through 20 September 2017
ER -