The SysML/KAOS Domain Modeling Approach
This work addresses the challenge of formal modeling for safety-critical systems, but it appears incremental as it builds on existing SysML/KAOS and Event-B frameworks.
The paper tackles the problem of building safe critical systems by formally modeling requirements and ensuring consistency with domain properties, proposing a metamodel based on OWL and PLIB as part of a SysML/KAOS method and illustrating it with a case study on a Cycab localization component.
A means of building safe critical systems consists of formally modeling the requirements formulated by stakeholders and ensuring their consistency with respect to application domain properties. This paper proposes a metamodel for an ontology modeling formalism based on OWL and PLIB. This modeling formalism is part of a method for modeling the domain of systems whose requirements are captured through SysML/KAOS. The formal semantics of SysML/KAOS goals are represented using Event-B specifications. Goals provide the set of events, while domain models will provide the structure of the system state of the Event-B specification. Our proposal is illustrated through a case study dealing with a Cycab localization component specification. The case study deals with the specification of a localization software component that uses GPS,Wi-Fi and sensor technologies for the realtime localization of the Cycab vehicle, an autonomous ground transportation system designed to be robust and completely independent.