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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	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
Hlavní autori:	Gardner, William B., Gumtie, Alicia, Carter, John D.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.08.2015
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!