This article introduces the integration of the Timing Description Language (TDL) and the modeling tool Simulink. The main goal of this integration is to establish a development process, which significantly simplifies ...
详细信息
This article introduces the integration of the Timing Description Language (TDL) and the modeling tool Simulink. The main goal of this integration is to establish a development process, which significantly simplifies the design and implementation of deterministic software on distributed, embedded systems. To accomplish this goal, a visual-interactive representation of TDL's textual syntax is used by the TDL editor suite, a tool, which is integrated into Simulink. Thus, an easier access to TDL applications is provided. A case study illustrates the specific development steps from the programmer's point of view. In addition, generation of Simulink models is supported. These models simulate the timing and the functional behavior of TDL applications defined by the TDL editor suite. The principles of TDL guarantee that timing and communication behavior is identical, no matter, which platform is used.
model-based software development, particularly when it utilizes Unified modeling Language (UML) tools, provides artifacts that make programs more transparent. We use these capabilities to automate major steps in the g...
详细信息
ISBN:
(纸本)0780382153
model-based software development, particularly when it utilizes Unified modeling Language (UML) tools, provides artifacts that make programs more transparent. We use these capabilities to automate major steps in the generation of a software FMEA. Automation not only reduces the labor required but also makes the process repeatable and removes many subjective decisions that can impair the credibility of a software FMEA. The computer-aided software FMEA discussed in this paper can be the central organizing element for the verification and validation (V&V) of embedded software for real-time systems. The adoption of this technique benefits budgets because V&V frequently consumes the majority of the development resources for embedded software. After reviewing prior efforts in establishing a procedure for software FMEA we describe our approach for two life cycle phases: concept and design/implementation. Then we discuss the application of the computer-aided FMEA to software V&V and identify areas for further research.
暂无评论