RoboChart: modelling and verification of the functional behaviour of robotic applications

Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide variety of applications, many with potential safety hazards. The work presented in this paper proposes a set of constructs suitable for both modelling robotic applications and supporting verification via model c...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 18; číslo 5; s. 3097 - 3149
Hlavní autoři:	Miyazawa, Alvaro, Ribeiro, Pedro, Li, Wei, Cavalcanti, Ana, Timmis, Jon, Woodcock, Jim
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2019 Springer Nature B.V
Témata:	Automated reasoning Autonomous cars Compilers Computer Science Electric appliances Hazards Information Systems Applications (incl.Internet) Interpreters IT in Business Modelling Programming Languages Programming Techniques Regular Paper Robotics Semantics Software Engineering Software Engineering/Programming and Operating Systems Vacuum cleaners Process algebra CSP Model checking Timed properties Domain-specific language for robotics State machines Formal semantics
ISSN:	1619-1366, 1619-1374
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!