COSRDL: An Event-Driven Control-Oriented System Requirement Modeling Method

  • Weidong MaEmail author
  • Yang Deng
  • Lixing Xu
  • Wenfeng Lin
  • Zhi Liu
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 857)


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.


Requirement modeling language Control system Event-driven framework System model 



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)


  1. 1.
    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)Google Scholar
  2. 2.
    Kalyoncu, S.: Wireless Solutions and Authentication Mechanisms for Contiki Based Internet of Things Network (2016).
  3. 3.
    Samek, M.: Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. CRC Press, Burlington (2008)Google Scholar
  4. 4.
    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). Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Architecture analysis and design language (AADL) (2014).
  7. 7.
    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)Google Scholar
  8. 8.
    Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid MARTE statecharts. Front. Comput. Sci. 7(1), 95–108 (2013)MathSciNetCrossRefGoogle Scholar
  9. 9.
    The mathworks: Stateflow and stateflow coder, users guide (2014).
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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). Scholar
  12. 12.
    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)MathSciNetCrossRefGoogle Scholar
  13. 13.
    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)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Gu, B., Dong, Y., Wang, Z.: Formal modeling approach for aerospace embedded software. J. Softw. 26(2), 321–331 (2015). (in Chinese)
  15. 15.
    Xu, H., Zhang, Y., Gu, J.: A formal modeling methods for embedded software architecture. Acta Electronica Sin. 42(8), 1515–1521 (2014)Google Scholar
  16. 16.
    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). Scholar
  17. 17.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)MathSciNetCrossRefGoogle Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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). Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2018

Authors and Affiliations

  • Weidong Ma
    • 1
    Email author
  • Yang Deng
    • 1
  • Lixing Xu
    • 1
  • Wenfeng Lin
    • 1
  • Zhi Liu
    • 1
  1. 1.Computer Science Laboratory, Institute of Electronic EngineeringChina Academy of Engineering PhysicsMianyangChina

Personalised recommendations