A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
An approach to refinement checking of SysML requirements
2011
ETFA2011
During last years, the importance of safety aspects in industry has significantly increased. System engineering modeling language SysML is widely used in order to manage increasing complexity of embedded systems. Being just a modeling language, SysML does not provide integrated means of verification and validation for its models. Therefore, additional efforts are needed for checking consistency of models. This work shows efforts towards integrating embedded systems modeling with verification
doi:10.1109/etfa.2011.6059147
dblp:conf/etfa/MakartetskiyS11
fatcat:2p33gvd5jffrzpzwhqitx33wna