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.
W. Ma—The work has been supported mainly by a project with foundational funds of China Academy of Engineering Physics (Grant No. 060608-2017).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chaochen, Z., Ji, W., Ravn, A.P.: A formal description of hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 511–530. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0020972
Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in combining SysML and MARTE for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 98–113. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02674-4_8
He, J.: From CSP to hybrid systems. In: A Classical Mind. Embedded system, Programming, Software. Prentice Hall International Ltd., Hertfordshire (1994)
Khan, A.M., Mallet, F., Rashid, M.: Combining SysML and Marte/CCSL to model complex electronic systems. In 2016 International Conference on Information Systems Engineering, pp. 12–17. IEEE, Los Angeles, April 2016
Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Front. Comput. Sci. 7(1), 95–108 (2013)
Ma, W., Deng, Y., Xu, L., Lin, W., Liu, Z.: COSRDL: an event-driven control-oriented system requirement modeling method. In: Bi, Y., Chen, G., Deng, Q., Wang, Y. (eds.) ESTC 2017. CCIS, vol. 857, pp. 103–117. Springer, Singapore (2018). https://doi.org/10.1007/978-981-13-1026-3_8
Mallet, F., André, C., DeAntoni, J.: Executing AADL models with UML/Marte. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 371–376. IEEE, Potsdam, June 2009
SAE: Architecture analysis and design language (AADL)
Samek, M.: Practical UML Statecharts in C/C++, Programming for Embedded System. Embedded system, Programming, Software, 2nd edn. Elsevier Inc., Oxford (2008)
Wang, Z., et al.: SPARDL: a requirement modeling language for periodic control system. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 594–608. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16558-0_48
Wang, Z., et al.: A novel requirement analysis approach for periodic control systems. Front. Comput. Sci. 7(2), 214–235 (2013)
Yang, M., Wang, Z., Pu, G., Qin, S.: A novel requirement analysis approach for periodic control systems. Sci. China Inform. Sci. 55(12), 2675–2693 (2012)
Acknowledgements
The first author thanks for discussions of related work of the DSL model of embedded systems with prof. Geguang Pu and Weika Miu, and for discussions of formal modelling and hybrid CSP with prof. Naijun Zhan and Shuling Wang.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Ma, W., Luo, Z. (2019). Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). In: Wang, X., Gao, H., Iqbal, M., Min, G. (eds) Collaborative Computing: Networking, Applications and Worksharing. CollaborateCom 2019. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 292. Springer, Cham. https://doi.org/10.1007/978-3-030-30146-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-30146-0_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30145-3
Online ISBN: 978-3-030-30146-0
eBook Packages: Computer ScienceComputer Science (R0)