- Tytuł:
- UML Modelling in Rigorous Design Methodology for Discrete Controllers
- Autorzy:
-
Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A. - Powiązania:
- https://bibliotekanauki.pl/articles/227244.pdf
- Data publikacji:
- 2012
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification - Opis:
- 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.
- Źródło:
-
International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933 - Pojawia się w:
- International Journal of Electronics and Telecommunications
- Dostawca treści:
- Biblioteka Nauki
Artykuł