Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 International Journal of Electronics and Telecommunications

1 2012

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: UML modelling

Sortuj według:

Ogranicz wyniki do:

UML Modelling in Rigorous Design Methodology for Discrete Controllers

Łabiak G., Adamski M., Doligalski M., Tkacz J., Bukowiec A.

International Journal of Electronics and Telecommunications

2012

Vol, 58, No. 1

27-34

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.