Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software

Authors:
Xiaojian Liu;Zhilin Zhu
Affiliations:
Shandong Provincial Key Laboratory of Automotive Electronic Techniques Institute of Automation, Shandong Academy of Science, Jinan, China;Shandong Institute of Business and Technology, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 12
Cited 0

A theory of timed automata

Theoretical Computer Science
Functional documents for computer systems

Science of Computer Programming
The Object-Z specification language

The Object-Z specification language
TIMES - A Tool for Modelling and Implementation of Embedded Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
UPPAAL Implementation Secrets

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
UML and platform-based design

UML for real
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)

Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised

Real-Time Systems
Separation of Concerns and Consistent Integration in Requirements Modelling

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Graph transformations for object-oriented refinement

Formal Aspects of Computing
A model of component-based programming

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the model-driven development of complex software-intensive systems, it is the first class issue how to capture the software models in the very beginning of development. In this paper, we focus on the domain of automotive software, explore how to capture software models from requirement documents. To this end, we mainly investigated these three closely related problems: what requirement information should be elicited from requirement documents; how to organize these information as aspectual models; and how to integrate the aspectual models together to form a complete specification of requirements. This work will help software analyzers to decompose complicated requirement documents into separated concerns, and organize essential requirement information as rigorous models, which will both facilitate simulation and verification of requirements and set up the starting point for the model-driven development.