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:
333 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