Paper Info
Title
Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software
Abstract
Safety and reliability cannot be tested into technical software systems on embedded control units after their development. Preventive actions have to be taken in respect of safety and reliability. An automatic and tool supported check of custom rules, industry standards and enterprise wide guidelines can support the quality assurance process. In the domain of automotive software engineering there is a lack of automatic checking for standard conformance. Especially, a formal and tool independent notation of rules to follow is missing. In this paper, the model-based development of automotive vehicle functions with the tools MATLAB, Simulink and Stateflow is taken as an example to show how textual rules describing standards to be met can be transformed into a formal notation using the open standards MOF and OCL. Thereafter these rules can be checked automatically. The feasibility of this approach is shown by a software demonstrator.
Year
DOI
Venue
2007
10.1109/ISADS.2007.66
Sedona, AZ
Keywords
Field
DocType
model-based development,automotive software,embedded control unit,tool independent notation,safety-critical systems,custom rule,automatic checking,formal notation,automotive vehicle function,rule checking,technical software system,automotive software engineering,software demonstrator,model based development,embedded software,knowledge based systems,safety critical systems,reliability,software testing,automatic control,automotive engineering,mathematical model,software engineering,control systems,software systems,quality assurance,open standard,embedded systems,system testing
Embedded software,Life-critical system,Software engineering,Computer science,Software system,Model-based design,Software,Stateflow,Automotive software,Distributed computing,Automotive industry
Conference
ISBN
Citations 
PageRank 
0-7695-2804-X
5
0.45
References 
Authors
2
2
Name
Order
Citations
PageRank
Tibor Farkas182.41
Daniel Grund241218.24