原文传递
Toward a Formalism-Based Toolkit for Automotive Applications.
| 题名： | Toward a Formalism-Based Toolkit for Automotive Applications. |
| 关键词： | applications；toolkit；tomo；ward；mali；development；towa；base；omot；form |
| 摘要： | The success of a number of projects has been shown to be significantly improved by the use of formalism, both conceputal (methods) and software (tools). However, most of the approaches described in the literature so far leave an open issue: to what extent can the development process be built around strict formal notations from the very beginning. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognises the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a step-wise verification/validation of the system under development. |
| 报告类型： | 科技报告 |
相关文献
- Durability-Based Design Criteria for a Chopped-Glass-Fiber Automotive Structural Composite
- Recommended Minimum Test Requirements and Test Methods for Assessing Durability of Random-Glass-Fiber Composites
- Investigation on Stress-Rupture Behavior of a Chopped-Glass-Fiber Composite for Automotive Durability Design Criteria
- MOVING TOWARD SUSTAINABILITY: TRANSFORMING A COMPREHENSIVE LAND USE AND TRANSPORTATION PLAN.
- Feasibility of Fuel Cell APUs for Automotive Applications.
- Feasibility of Fuel Cell APUs for Automotive Applications.
检索历史
应用推荐
