Title :
Composing modules with synchronization and real-time constraints using category theory
Author :
Varma, Niharika ; Sinha, Purnendu
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
Abstract :
Nowadays, complex real-time/embedded software systems are typically being composed out of reusable and mostly deployable components. The paper presents our initial efforts in developing a formal framework which utilizes the concepts of category theory to provide for a rigorous, consistent and traceable composition of modules with constraints. A case study illustrates our proposed framework for composition.
Keywords :
category theory; embedded systems; formal verification; software reusability; synchronisation; category theory; component based software engineering; embedded software system; formal framework; synchronization; Computational modeling; Computer interfaces; Constraint theory; Contracts; Embedded computing; Embedded software; Engineering management; Real time systems; Software engineering; Software systems;
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
Print_ISBN :
0-7803-7781-8
DOI :
10.1109/CCECE.2003.1226133
