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

Full description

Saved in:

Bibliographic Details
Published 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 pp. 1057 - 1065
Main Authors:	Gardner, William B., Gumtie, Alicia, Carter, John D.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.08.2015
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!