| Title |
Sistemų imitacinių modelių automatizuotas sudarymas panaudojant formalias PLA specifikacijas / |
| Translation of Title |
Automated creation of systems imitation models using PLA formal specifications. |
| Authors |
Padvarskas, Jonas |
| Full Text |
|
| Pages |
61 |
| Keywords [eng] |
imitation modeling ; PLA ; formal specifications |
| Abstract [eng] |
Formal specifications can not provide the correctness by themselves, while designing complex systems. Models that are formally specified need correctness proof that can be done by performing imitation modeling on a computer. This problem can be solved by automated creation of imitation models, so that functionality and correctness of various solutions can be verified in early stages of system design. The article presents the implementation of algorithm for automated creation of imitation models using PLA formal specifications. It also presents an overview of existing modeling techniques and methods. Describes the architecture of formal specifications analysis software and gives experiment results while analyzing network devices interaction. |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2008 |
