Supporting Selective Formalism in CSP++ with Process-Specific Storage

Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP++ toolset was created to realize the concept of selective formalism by making machine-readable CSPm specifications both executable (through automatic C++ code genera...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems S. 1057 - 1065
Hauptverfasser:	Gardner, William B., Gumtie, Alicia, Carter, John D.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.08.2015
Schlagworte:	C++ code generation CSPm Eclipse embedded systems formal methods Libraries model-based design Real-time systems Robot sensing systems selective formalism soft real-time software synthesis Switches System recovery Timed CSP Writing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!