Using UML for Learning How to Design and Model Cyber-Physical Systems

In this paper a methodology for teaching and learning the modeling of embedded systems and, in a more generic vision cyber-physical systems (CPS) is presented. To this end, a subset of tools from UML is used in an intuitive and ordered way starting with an informal description of the system until implementation details are obtained. However, the codification of the system is left out as the programming language depends on the hardware platform to be used. The method has been used in grade courses for several years now with an important accumulated experience that shows how students are able to adopt it and learn to elicit the different types of requirements, actors and functions.

[1]  Insup Lee,et al.  Opportunities and Obligations for Physical Computing Systems , 2005, Computer.

[2]  Ivar Jacobson,et al.  Aspect-oriented software development with use cases , 2005, Addison Wesley object technology series.

[3]  Sergey Diev.  Use cases modeling and software estimation: applying use case points , 2006, SOEN.

[4]  Abdelwahab Hamou-Lhadj,et al.  The Impact of the Model-Driven Approach to Software Engineering on Software Engineering Education , 2009, 2009 Sixth International Conference on Information Technology: New Generations.

[5]  Alistair Cockburn,et al.  Structuring Use Cases with Goals , 2000 .

[6]  German Montejano,et al.  Extensions to UML Using Stereotypes , 2005, Encyclopedia of Information Science and Technology.

[7]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.

[8]  Elena Navarro,et al.  An empirical evaluation of requirement engineering techniques for collaborative systems , 2011, EASE.

[9]  Eric Senn,et al.  Mapping the MARTE UML profile to AADL , 2010 .

[10]  Bernhard Rumpe,et al.  Teaching Agile Model-Driven Engineering for Cyber-Physical Systems , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering Education and Training Track (ICSE-SEET).

[11]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[12]  S. J. Goldsack,et al.  Requirements engineering for real-time systems , 1991, Softw. Eng. J..

[13]  O. Alimenti,et al.  A Constructivist Approach for Teaching Embedded Systems , 2013, IEEE Latin America Transactions.

[14]  Marisol García-Valls,et al.  A bi-dimensional QoS model for SOA and real-time middleware , 2013, Comput. Syst. Sci. Eng..

[15]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[16]  Javier Orozco,et al.  From User Requirements to Tasks Descriptions in Real-Time Systems , 2010, WER.

[17]  Emitter/receiver piezoelectric films coupled to flow-batch analyzer for acoustic determination of free glycerol in biodiesel without chemicals/external pretreatment , 2018 .

[18]  Narasimha Bolloju,et al.  Benefits of supplementing use case narratives with activity diagrams - An exploratory study , 2012, J. Syst. Softw..

[19]  Gregory Butler,et al.  Use case refactoring: a tool and a case study , 2004, 11th Asia-Pacific Software Engineering Conference.

[20]  Gregory Butler,et al.  Refactoring Use Case Models: The Metamodel , 2003, ACSC.

[21]  Leo Ordinez,et al.  El enfoque de Cajas Negra y Blanca para la enseñanza de sistemas embebidos , 2016, 2016 IEEE Biennial Congress of Argentina (ARGENCON).

[22]  Jesús Manuel Almendros-Jiménez,et al.  Describing Use-Case Relationships with Sequence Diagrams , 2007, Comput. J..

[23]  Cristina Bender,et al.  Industrial Plant at Academic Level for Teaching Industrial Informatics in an Electronic Engineering Undergraduate Degree , 2017, IEEE Revista Iberoamericana de Tecnologias del Aprendizaje.

[24]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[25]  Julien DeAntoni,et al.  Executing AADL Models with UML/MARTE , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[26]  Sonia H. Contreras-Ortiz,et al.  Influence of Arduino on the Development of Advanced Microcontrollers Courses , 2017, IEEE Revista Iberoamericana de Tecnologias del Aprendizaje.

[27]  Eugenio Villar,et al.  Using Professional Resources for Teaching Embedded SW Development , 2016, IEEE Revista Iberoamericana de Tecnologias del Aprendizaje.

[28]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[29]  Djamel Meslati,et al.  Deriving objects from use cases in real-time embedded systems , 2005, Inf. Softw. Technol..

[30]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[31]  Manfred Broy.  Requirements Engineering for Embedded Systems) , 2003 .

[32]  Gabriel M. Eggly,et al.  Embedded flow-batch system with electrochemical detection for the determination of lead in propolis samples , 2017 .

[33]  David D. Zhang,et al.  Use case modeling for real-time application , 1999, 1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems.

[34]  Remi-Armand Collaris,et al.  Software cost estimation using use case points : Getting use case transactions straight , 2019 .

[35]  K. H. Kim.  Challenges and Future Directions of Cyber-Physical System Software , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference.

[36]  Javier Orozco,et al.  Time is not Enough: Dealing with Behavior in Real-Time Systems , 2011, J. Univers. Comput. Sci..

[37]  C. Marcos,et al.  Improving Use Case Specifications by means of Refactoring , 2015, IEEE Latin America Transactions.

[38]  Kenneth D. Evensen,et al.  A Comparison and Evaluation of Real-Time Software Systems Modeling Languages , 2010 .

[39]  Juho Mäkiö,et al.  Teaching cyber physical systems engineering , 2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.

[40]  Elena Mäkiö-Marusik.  Current trends in teaching cyber physical systems engineering: A literature review , 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).