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ženo v:

Podrobná bibliografie
Vydáno 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í autoři:	Gardner, William B., Gumtie, Alicia, Carter, John D.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.08.2015
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!