UML Modelling in Rigorous Design Methodology for Discrete Controllers

被引：10

作者：

Labiak, Grzegorz ^{[1
]}

Adamski, Marian ^{[1
]}

Doligalski, Michal ^{[1
]}

Tkacz, Jacek ^{[1
]}

Bukowiec, Arkadiusz ^{[1
]}

机构：

[1] Univ Zielona Gora, Inst Comp Engn & Elect, Licealna 9, PL-65417 Zielona Gora, Poland

来源：

INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS | 2012年 / 58卷 / 01期

关键词：

UML modelling; binary controller; decomposition; digital synthesis; formal analysis; verification;

D O I：

10.2478/v10177-012-0004-8

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.

引用

页码：27 / 34

页数：8

共 50 条

[1] A rigorous design methodology for reprogrammable logic controllers
Adamski, M
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 53 - 60
[2] DESIGN METHODOLOGY OF CONTROLLERS
AMBLARD, P
SAUCIER, G
ONDE ELECTRIQUE, 1981, 61 (05): : 25 - 34
[3] Integrated design methodology of ball-screw driven servomechanisms with discrete controllers. Part I: Modelling and performance analysis
Kim, Min-Seok
Chung, Sung-Chong
MECHATRONICS, 2006, 16 (08) : 491 - 502
[4] Design Methodology of Controllers.
Amblard, P.
Saucier, G.
1600, (61):
[5] On the design of discrete H∞-controllers
Bakhilina, IM
Stepanov, SA
AUTOMATION AND REMOTE CONTROL, 2000, 61 (02) : 254 - 264
[6] Rigorous development in UML
Lano, K
Evans, A
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 129 - 143
[7] Design and verification of industrial logic controllers with UML and statecharts
Bonfè, M
Fantuzzi, C
CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1029 - 1034
[8] UML 2 as a Modelling Language in discrete event simulation
Knaak, N
Page, B
SIMULATION IN WIDER EUROPE, 2005, : 399 - 408
[9] DESIGN METHODOLOGY FOR ROBUST STABILIZING CONTROLLERS
SCHMITENDORF, WE
JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 1987, 10 (03) : 250 - 254
[10] SYSTEMATIC DESIGN OF FAST DISCRETE CONTROLLERS
ARAVENA, JL
ADVANCES IN COMPUTING AND CONTROL, 1989, 130 : 128 - 139

← 1 2 3 4 5 →