System-level object-orientation in the specification and validation of embedded systems

The main aim of this paper is to present how the Unified Modeling Language (UML) can be used as the notation to specify the requirements of an embedded system. By, using a relatively small, but real, system (a supervision application) as a running example, the paper illustrates the design flow that can be followed during the analysis phase of complex control applications. To assure the continuous mapping of the models, the authors propose some guidelines to transform the use case diagrams into a single object diagram, which is the main diagram for the next development phases (design and implementation). The Java programming language is used for developing a system's prototype, to allow the system's validation by the customers.

[1]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[2]  Luis Gomes,et al.  Hardware Design and Petri Nets , 2000 .

[3]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[4]  Bruce Powel Douglass.  Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[5]  João M. Fernandes,et al.  A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach , 2000, DIPES.

[6]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[7]  Ricardo J. Machado,et al.  An Evolutionary Approach to the Use of Petri Net Based Models , 1998 .

[8]  João M. Fernandes,et al.  Modeling industrial embedded systems with UML , 2000, CODES '00.

[9]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[10]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[11]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[12]  Peter J. Robinson.  Hierarchical object-oriented design , 1992 .

[13]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[14]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[15]  David Budgen,et al.  Software design , 2020, International computer science series.

[16]  João M. Fernandes,et al.  From Use Cases to Objects: An Industrial Information Systems Case Study Analysis , 2001, OOIS.

[17]  W. Weber,et al.  Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling , 1997, UML Workshop.

[18]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[19]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[20]  Bernd Kleinjohann,et al.  Architecture and Design of Distributed Embedded Systems , 2000, IFIP — The International Federation for Information Processing.