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 条

[41] A new design method for discrete equivalents of analog controllers
Yamaura, H
Tomizuka, M
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 1986 - 1992
[42] Design of switched controllers for discrete singular bilinear systems
Xiuhua ZHANG
JournalofControlTheoryandApplications, 2007, (03) : 312 - 316
[43] A UML profile and a methodology for real-time systems design
Bartolini, Cesare
Bertolino, Antonia
De Angelis, Guglielmo
Lipari, Giuseppe
32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 108 - +
[44] A design of saturated controllers for linear discrete singular systems
Wang, RL
2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 1227 - 1229
[45] Evolutionary design of discrete controllers for hybrid mechatronic systems
Dupuis, Jean-Francois
Fan, Zhun
Goodman, Erik
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2015, 46 (02) : 303 - 316
[46] A SoC design methodology involving a UML 2.0 profile for SystemC
Riccobene, E
Scandurra, P
Rosti, A
Bocchio, S
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 704 - 709
[47] Hybrid methodology for data warehouse conceptual design by UML schemas
Di Tria, Francesco
Lefons, Ezio
Tangorra, Filippo
INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (04) : 360 - 379
[48] HETEROGENEOUS PETRI-NET METHODOLOGY FOR THE DESIGN OF COMPLEX CONTROLLERS
HENDRY, DC
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (05): : 293 - 297
[49] New methodology for analytical and optimal design of fuzzy PID controllers
Hu, B
Mann, GKI
Gosine, RG
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1999, 7 (05) : 521 - 539
[50] New methodology for analytical and optimal design of fuzzy PID controllers
Chinese Academic of Science, Beijing, China
IEEE Trans Fuzzy Syst, 5 (521-539):

← 1 2 3 4 5 →