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 条

[21] Supporting rigorous evolution of UML models
Judson, SR
France, RB
Carver, DL
NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 128 - 137
[22] Accurate modelling of discrete AGC controllers for interconnected power systems
Pathak, Nikhil
Bhatti, Terlochan Singh
Verma, Ashu
IET GENERATION TRANSMISSION & DISTRIBUTION, 2017, 11 (08) : 2102 - 2114
[23] Symbolic modelling and design methodology
Kimbler, Delbert L.
Watford, Bevlee A.
Davis, Robert P.
Design Studies, 1988, 9 (04) : 208 - 213
[24] Integrated design methodology of ball-screw driven servomechanisms with discrete controllers. Part II: Formulation and synthesis of the integrated design
Kim, Min-Seok
Chung, Sung-Chong
MECHATRONICS, 2006, 16 (08) : 503 - 512
[25] Rigorous methodology for the design and upgrade of sensor networks using cutsets
Gala, Mayur
Bagajewicz, Miguel J.
INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2006, 45 (20) : 6679 - 6686
[26] A methodology to design FPGA-based PID controllers
Lima, Joao
Menotti, Ricardo
Cardoso, Joao M. P.
Marques, Eduardo
2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 2577 - +
[27] An improved methodology for the design of power system damping controllers
Ramos, RA
Martins, ACP
Bretas, NG
IEEE TRANSACTIONS ON POWER SYSTEMS, 2005, 20 (04) : 1938 - 1945
[28] A structured methodology for the design and implementation of hybrid robot controllers
Carpanzano, E
Fabbri, R
Ferrarini, L
PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 1996, : 572 - 577
[29] A methodology for the design of digital periodic controllers for simultaneous performance
Viassolo, DE
Rotea, MA
PROCEEDINGS OF THE 44TH IEEE 2001 MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 2001, : 740 - 743
[30] On a new methodology for the design of structure reduced multivariable controllers
Nobakhti, A.
Wang, H.
Kookos, I.
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING, 2007, 221 (I4) : 629 - 643

← 1 2 3 4 5 →