%0 Book Section %1 sacha_08_model-based %A Sacha, Krzysztof %D 2008 %J Computer Safety, Reliability, and Security %K 2008 statecharts %P 332--345 %R 10.1007/978-3-540-87698-4_28 %T Model-Based Implementation of Real-Time Systems %U http://dx.doi.org/10.1007/978-3-540-87698-4_28 %X A method is presented for modeling, verification and automatic programming of PLC controllers. The method offers a formal model of requirements, the means for defining and verifying safe behavior, and a technique for generating program code. The modeling language is UML state machine, which provides a widely accepted means for writing a specification at a suitable high level of abstraction. Such an abstract specification can be validated by the user, verified by means of a model-checker and translated automatically into a program code, which preserves the correctness and safety of the specification. The program code is written in one of the standardized IEC 61131 languages.

@incollection{sacha_08_model-based, abstract = {A method is presented for modeling, verification and automatic programming of PLC controllers. The method offers a formal model of requirements, the means for defining and verifying safe behavior, and a technique for generating program code. The modeling language is UML state machine, which provides a widely accepted means for writing a specification at a suitable high level of abstraction. Such an abstract specification can be validated by the user, verified by means of a model-checker and translated automatically into a program code, which preserves the correctness and safety of the specification. The program code is written in one of the standardized IEC 61131 languages.}, added-at = {2009-02-11T20:44:20.000+0100}, author = {Sacha, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/2b54e8a14d23383eb32957358b55f128d/leonardo}, citeulike-article-id = {3784040}, doi = {10.1007/978-3-540-87698-4_28}, interhash = {98f2a0776b8ea36e1f2ebcc23b8035c4}, intrahash = {b54e8a14d23383eb32957358b55f128d}, journal = {Computer Safety, Reliability, and Security}, keywords = {2008 statecharts}, pages = {332--345}, posted-at = {2008-12-13 11:08:37}, priority = {2}, timestamp = {2009-02-11T20:44:20.000+0100}, title = {Model-Based Implementation of Real-Time Systems}, url = {http://dx.doi.org/10.1007/978-3-540-87698-4_28}, year = 2008 }