Abstract
This paper develops a requirement modeling language called CosRDL for modeling and analyzing of the time series embedded control systems. The system consists of a series of parallel active task that is composed of the functions for different control behaviors, which is largely applied in the development of embedded control systems. CosRDL can specify the features event-driven behaviors, and each event in CosRDL can contain such as input/output and communication of active objects. The active object is a concept model that expresses a computing or control processing. It contains a set of operation, an event queue and task priority. A requirement model and system model of the CosRDL is proposed for analyzing event-driven control systems. The requirement model of CosRDL is built by directed acyclic graph (DAG) to describe the system behavior. The system model of CosRDL is built by uFusion framework. The uFusion was designed to implement the event-driven system architecture. Meanwhile, a case study is presented to illustrate our approach to requirement modeling in the development of event-driven control systems.
W. Ma—The work in this paper has been supported mainly by major project of fund 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
Dunkels, A., Gronvall, B., Voigt, T.: Contiki - A lightweight and flexible operating system for tiny networked Sensors. In: 29th Annual IEEE International Conference on Local Computer Networks, LCN (2004)
Kalyoncu, S.: Wireless Solutions and Authentication Mechanisms for Contiki Based Internet of Things Network (2016). https://core.ac.uk/-display/36300735
Samek, M.: Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. CRC Press, Burlington (2008)
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
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 (2016)
Architecture analysis and design language (AADL) (2014). http://www.aadl.info/
Mallet, F., Andre, C., DeAntoni, J.: Executing AADL models with UML/MARTE. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 371–376 (2009)
Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid MARTE statecharts. Front. Comput. Sci. 7(1), 95–108 (2013)
The mathworks: Stateflow and stateflow coder, users guide (2014). http://www.mathworks.com/help/releases/R13sp2/pdf_doc/stateflow/sf_ug.pdf
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. Technical report, Department of Electronic Engineering and Computer Science, University of California, Berkeley, Berkeley, CA, USA (2001)
Wang, Z., Li, J., Zhao, Y., Qi, Y., Pu, G., He, J., Gu, B.: 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., Pu, G., Li, J., Chen, Y.: A novel requirement analysis approach for periodic control systems. Front. Comput. Sci. 7(2), 214–235 (2013)
Yang, M., Wang, Z., Geguang, P., Qin, S., et al.: The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55(12), 2675–2693 (2012)
Gu, B., Dong, Y., Wang, Z.: Formal modeling approach for aerospace embedded software. J. Softw. 26(2), 321–331 (2015). http://www.jos.org.cn/1000-9825/4784.htm (in Chinese)
Xu, H., Zhang, Y., Gu, J.: A formal modeling methods for embedded software architecture. Acta Electronica Sin. 42(8), 1515–1521 (2014)
Yan, G., Zhu, X.-Y., Yan, R., Li, G.: Formal throughput and response time analysis of MARTE models. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 430–445. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11737-9_28
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
Herrera, F., Posadas, H., Penil, P., Villar, E., Ferrero, F., Valencia, R., Palermo, G.: The COMPLEX methodology for UML/MARTE modeling and design space exploration of embedded systems. J. Syst. Archit. 60(1), 55–78 (2014)
He, J.: From CSP to hybrid systems. In: A Classical Mind, Essays in Honour of C.A.R. Hoare, pp. 171–189. Prentice Hall International Ltd. (1994)
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
Acknowledgements
First of all, we thank all the collaborators of the joint work presented in this paper for their great contribution. Some works of the domain model of embedded system are proposal by prof. Geguang Pu and Weika Miu who work in East China Normal University. Other researches of the formal modeling and hybrid CSP are depended on prof. Naijun Zhan and Shuling Wang, who work in the State Key Laboratory of Computer Science, Institute of Software, China Academy of Science.
The work in this paper has been supported mainly by major project of fund of China Academy of Engineering Physics (Grant No. 060608-2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Ma, W., Deng, Y., Xu, L., Lin, W., Liu, Z. (2018). COSRDL: An Event-Driven Control-Oriented System Requirement Modeling Method. In: Bi, Y., Chen, G., Deng, Q., Wang, Y. (eds) Embedded Systems Technology. ESTC 2017. Communications in Computer and Information Science, vol 857. Springer, Singapore. https://doi.org/10.1007/978-981-13-1026-3_8
Download citation
DOI: https://doi.org/10.1007/978-981-13-1026-3_8
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-1025-6
Online ISBN: 978-981-13-1026-3
eBook Packages: Computer ScienceComputer Science (R0)
