Moby/RT: A Tool for Specification and Verification of Real-Time Systems

Простая страница элемента
dc.creatorOlderog,Ernst-Rüdiger
dc.creatorDierks,Henning
dc.date2003
dc.date.accessioned2024-02-06T12:52:14Z
dc.date.available2024-02-06T12:52:14Z
dc.descriptionThe tool Moby/RT supports the design of realtime systems at the levels of requirements, design specifications and programs. Requirements are expressed by constraint diagrams [Kleuker, 2000], design specifications by PLC-Automata [Dierks, 2000], and programs by Structured Text, a programming language dedicated for programmable logic controllers (PLCs), or by programs for LEGO Mindstorm robots. In this paper we outline the theoretical background of Moby/RT by discussing its semantic basis and its use for automatic verification by utilising the model-checker UPPAAL [Larsen et al., 1997].
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-009-02-0088
dc.identifierhttps://lib.jucs.org/article/27929/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8289
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 9(2): 88-105
dc.subjectreal-time
dc.subjectspecification
dc.subjectformal verification
dc.subjectrequirements capture
dc.subjectConstraint Diagrams
dc.subjectPLC-Automata
dc.titleMoby/RT: A Tool for Specification and Verification of Real-Time Systems
dc.typeResearch Article
Файлы
Коллекции