Authors:
Erik Aceiro Antonio
;
Rafael Rovina
and
Sandra C. P. F. Fabbri
Affiliation:
Federal University of São Carlos, Brazil
Keyword(s):
Inspection Activity, Reading Technique, Embedded System, SysML, SYSMOD.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Requirements Analysis And Management
;
Software Engineering
;
Tools, Techniques and Methodologies for System Development
Abstract:
Embedded Systems play an important role on today's interconnected world. However, there is a gap in relation to Verification and Validation (V&V) activities for Embedded Systems, particularly when they are designed with SysML models. Hence, the objective of this paper is to present a feasibility study on a Reading Techniques for detecting defects in SysML models. This technique is part of a family of reading techniques for inspecting Requirement Diagrams and State Machine Diagrams which are SysML models designed along the SYSMOD development process. The definition of these techniques required the establishment of a defects taxonomy, which was based on three sources: i) the certification standards for embedded systems UL-98 and DO-178C; ii) the Failure Mode and Effects Analysis (FMEA); and iii) the syntactic and semantic elements available in the formalism of the SysML language. A feasibility study was carried out to evaluate the effectiveness and efficiency of one of the techniques.
From a total of 26 subjects, 50% have found an average of 72% of defects and spent an average of 48 minutes.
(More)