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

被引：0
|
作者：
Bitsch, F [1 ]
Göhner, P
Gutbrodt, F
Katzke, U
Vogel-Heuser, B
机构：
[1] Univ Stuttgart, Inst Ind Automat & Software Engn, Stuttgart, Germany
[2] Univ Wuppertal, Wuppertal, Germany
来源：
2005 3rd IEEE International Conference on Industrial Informatics (INDIN) | 2005年
关键词：
real-time; software specification; system specification; process automation; UML;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：339 / 344
页数：6
相关论文
共 50 条
  • [31] Modeling hard real time systems with UML the OOHARTS approach
    Kabous, L
    Nebel, W
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 339 - 355
  • [32] Platform-independent specification of component architectures for embedded real-time systems based on an extended UML
    Lu, SR
    Halang, WA
    [J]. COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 123 - 142
  • [33] DESIGNING HARD REAL-TIME SYSTEMS
    BURNS, A
    WELLINGS, AJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 116 - 127
  • [34] Weakly hard real-time systems
    Bernat, G
    Burns, A
    Llamosí, A
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (04) : 308 - 321
  • [35] SCHEDULING OF HARD REAL-TIME SYSTEMS
    MOITRA, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 362 - 381
  • [36] Logical specification of reactive and real-time systems
    Lano, K
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
  • [37] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [38] Functional specification of real-time and hybrid systems
    Muller, O
    Scholz, P
    [J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
  • [39] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [40] A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
    Akhlaki, K. Benghazi
    Tunon, M. I. Capel
    Terriza, J. A. Holgado
    Morales, L. E. Mendoza
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 65 (01) : 41 - 56
12345