TY - GEN
T1 - Towards component-based design and verification of a μ-controller
AU - Choi, Yunja
AU - Bunse, Christian
PY - 2008
Y1 - 2008
N2 - Model-driven and component-based software development seems to be a promising approach to handling the complexity and at the same time increasing the quality of software systems. Although the idea of assembling systems from pre-fabricated components is appealing, quality becomes a major issue, especially for embedded systems. Quality defects in one component might not affect the quality of the component but that of others. This paper presents an integrated, formal verification approach to ensure the correct behavior of embedded software components, as well as a case study that demonstrates its practical applicability. The approach is based on the formalism of abstract components and their refinements, with its focus being on interaction behavior among components. The approach enables the identification of unanticipated design errors that are difficult to find and costly to correct using traditional verification methods such as testing and simulation.
AB - Model-driven and component-based software development seems to be a promising approach to handling the complexity and at the same time increasing the quality of software systems. Although the idea of assembling systems from pre-fabricated components is appealing, quality becomes a major issue, especially for embedded systems. Quality defects in one component might not affect the quality of the component but that of others. This paper presents an integrated, formal verification approach to ensure the correct behavior of embedded software components, as well as a case study that demonstrates its practical applicability. The approach is based on the formalism of abstract components and their refinements, with its focus being on interaction behavior among components. The approach enables the identification of unanticipated design errors that are difficult to find and costly to correct using traditional verification methods such as testing and simulation.
UR - http://www.scopus.com/inward/record.url?scp=70350523567&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-87891-9_13
DO - 10.1007/978-3-540-87891-9_13
M3 - Conference contribution
AN - SCOPUS:70350523567
SN - 3540878904
SN - 9783540878902
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 196
EP - 211
BT - Component-Based Software Engineering - 11th International Symposium, CBSE 2008, Proceedings
PB - Springer Verlag
T2 - 11th International Symposium on Component-Based Software Engineering, CBSE 2008
Y2 - 14 October 2008 through 17 October 2008
ER -