DocumentCode
397094
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
Volume
2
fYear
2003
fDate
4-7 May 2003
Firstpage
1279
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
ISSN
0840-7789
Print_ISBN
0-7803-7781-8
Type
conf
DOI
10.1109/CCECE.2003.1226133
Filename
1226133
Link To Document