Specification of hard real-time industrial automation systems with UML-PA

Author

Bitsch, Friedemann ; Gohner, Peter ; Gutbrodt, Felix ; Katzke, Uwe ; Vogel-Heuser, Birgit

Author_Institution

Inst. of Ind. Autom. & Software Eng., Stuttgart Univ., Germany

fYear

2005

fDate

10-12 Aug. 2005

Firstpage

339

Lastpage

344

Abstract

Nowadays Unified Modeling Language (UML) has found widespread use in software development of commercial IT systems. But the application in industrial automation is still rare. The domain of process automation involves special requirements on software development. Important requirements on the notation used for software specification arise from the real-time characteristics of industrial automation systems. In order to consider these requirements in software design to avoid a hard clash in development between design and implementation the UML notation has to be used in a specific manner. UML for process automation (UML-PA) simplifies system and software development for distributed real-time systems. This paper presents adoptions of UML regarding real-time specific modeling elements.

Keywords

Unified Modeling Language; factory automation; formal specification; object-oriented methods; real-time systems; UML; Unified Modeling Language; commercial IT systems; distributed real-time systems; hard real-time industrial automation systems specification; process automation; software design; software development; software specification; Application software; Automation; Computer industry; Electrical equipment industry; IEC standards; Object oriented modeling; Programming; Real time systems; Software systems; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on

Print_ISBN

0-7803-9094-6

Type

conf

DOI

10.1109/INDIN.2005.1560399

Filename

1560399