Formal Verification
MOM-OnSem (Ontology Semantics for MOM Standards) defines the formal semantics of object models within MOM standards IEC 62264 as a reusable ontology theory using an Event-B-based framework. This formalized and reusable ontology semantics serves as a foundation for designing MOM systems.
- Categories:
47 Views
This paper develops a correct-by-design controller for an autonomous vehicle interacting with opponent vehicles with unknown intentions. We define an intention-aware control problem incorporating epistemic uncertainties of the opponent vehicles and model their intentions as discrete-valued random variables. Then, we focus on a control objective specified as belief-space temporal logic specifications. From this stochastic control problem, we derive a sound deterministic control problem using stochastic expansion and solve it using shrinking-horizon model predictive control.
- Categories:
336 Views
A fully-labeled C++03 program dataset provides a unique resource to evaluate model checkers in respect to language coverage. To tackle modern aspects of the C++ language, a large-scale benchmark dataset includes more than 1,500 C++03-compliant programs, which cover different aspects of the language, including exception handling, templates, inheritance, polymorphism, the standard template library, and object-oriented design.
- Categories:
254 Views