TY - GEN
T1 - Rigorous component-based design in BIP
T2 - 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2014
AU - Bliudze, Simon
PY - 2014/1/1
Y1 - 2014/1/1
N2 - This tutorial presents the BIP component-based design and analysis framework, primarily focusing on the control software for (real-time) embedded systems. We provide the participants with an overview of the research and some practical hands-on experience of application design in BIP. After a short motivation, we discuss the BIP component model, then move directly to the demonstration of the BIP language, design process, code generation and simulation.
AB - This tutorial presents the BIP component-based design and analysis framework, primarily focusing on the control software for (real-time) embedded systems. We provide the participants with an overview of the research and some practical hands-on experience of application design in BIP. After a short motivation, we discuss the BIP component model, then move directly to the demonstration of the BIP language, design process, code generation and simulation.
KW - BIP
KW - Component-based design
KW - Rigorous design ow
UR - https://www.scopus.com/pages/publications/84904488883
U2 - 10.1145/2602458.2611457
DO - 10.1145/2602458.2611457
M3 - Conference contribution
AN - SCOPUS:84904488883
SN - 9781450325776
T3 - CBSE 2014 - Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (Part of CompArch 2014)
SP - 187
EP - 188
BT - CBSE 2014 - Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (Part of CompArch 2014)
PB - Association for Computing Machinery
Y2 - 30 June 2014 through 4 July 2014
ER -