Találati lista | Tudóstér

001-es BibID:	BIBFORM009200
Első szerző:	Gergely, Eugen Ioan (villamosmérnök)
Cím:	PLC programs design using signal interpreted petri networks / Eugen Ioan Gergely, Geza Husi, Sahin Yildirim
Dátum:	2009
Megjegyzések:	The paper presents an approach for designing dependable programmable logic controller (PLC) programs. It starts from informal specifications and ends with the final implementation on a real PLC. The approach uses Signal InterpretedPetri Networks (SIPNs) for modeling the control algorithm, model checking for model verification and validation, and automatic Instruction List (IL) program generation. Finally, the IL program is tested on a real PLC. A simple example is used throughout the paper in order to illustrate the framework. The advantage of the approach consists in the correctness of the resulting PLC programs, which makes them much more dependable than direct implemented PLC code.
Tárgyszavak:	Műszaki tudományok Gépészeti tudományok idegen nyelvű folyóiratközlemény külföldi lapban PLC SIPN model checking dependability
Megjelenés:	Journal of Computer Science and Control Systems. - 2 : 1 (2009), p. 102-106. -
További szerzők:	Yildirim, Şahin (1966-) (gépészmérnök) Husi Géza (1962-) (gépészmérnök, mechatronikai mérnök, számítógépes tervezőmérnök)
Internet cím:	elektronikus változat elektronikus változat
Borító:
Saját polcon: