
Research Article
Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)
@INPROCEEDINGS{10.1007/978-3-030-30146-0_35, author={Weidong Ma and Zhaohui Luo}, title={Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)}, proceedings={Collaborative Computing: Networking, Applications and Worksharing. 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings}, proceedings_a={COLLABORATECOM}, year={2019}, month={8}, keywords={Modelling Domain-specific Type theory Embedded system Collaborative computing}, doi={10.1007/978-3-030-30146-0_35} }
- Weidong Ma
Zhaohui Luo
Year: 2019
Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)
COLLABORATECOM
Springer
DOI: 10.1007/978-3-030-30146-0_35
Abstract
Domain-specific languages (DSL) are more expressive and thus tackle complexity better, making software development easier and more efficient. DSL can automate the production of quality code that based on the proper abstraction of the system. This paper proposes a type-base approach to requirement modelling, called CosRDL, to Implementing a trusted real-time embedded system. A set of rules and formal methods are defined to build CosRDL models for embedded systems, from which the model may be verified apart the specification. CosRDL is described as abstract of event-driven behaviors that support communication between active objects (processes) to support concurrency and collaborative computing. The control processing and properties can be described by CosRDL syntax as an model extension and to make system implementation model. Meanwhile, a case study is presented to figure out how to apply the approach of CosRDL modelling for control systems.