Languages for System Specification

Contents

Preface

I UML-BASED SYSTEM SPECIFICATION & DESIGN

Chapter 1 UML-BASED CO-DESIGN FOR RUN-TIME RECONFIGURABLE ARCHITECTURES

1. Introduction

2. UML-Based Co-Design Approach

2.1 Motivation

2.2 Activities and Artifacts

3. System Specification

3.1 Platform Independent Model

3.2 MOCCA Action Language

4. Platform Mapping

4.1 Activities and Artifacts

4.2 Target Platform Model

4.3 Hardware Platform Mapping

4.4 Software Platform Mapping

5. Synthesis

6. Conclusions and Future Work

References

Chapter 2 A UNIFIED APPROACH TO CODE GENERATION FROM BEHAVIORAL DIAGRAMS

1. Introduction

2. The Rialto Intermediate Language

2.1 Syntax

2.2 Operational Semantics

2.3 Scheduling Semantics

3. Representing UML models in Rialto

3.1 Statecharts

3.2 Activity Diagrams

3.3 Collaboration Diagrams

3.4 Automatic UML to Rialto Translation

4. Animation and Code generation

5. Conclusions

References

Chapter 3 PLATFORM-INDEPENDENT DESIGN FOR EMBEDDED REAL-TIME SYSTEMS

1. Introduction

2. The Dream: Platform-Independent Design

3. Comparison of several design approaches for embedded RT systems

3.1 Expressive power

3.2 Platform-independent semantics

3.3 Modularity support

3.4 Correctness-preserving transformation

4. Towards Platform-independent Design

4.1 POOSL

4.2 Rotalumis

5. Conclusions

Notes

References

Chapter 4 REAL-TIME SYSTEM MODELING WITH ACCORD/UML METHODOLOGY

1. Introduction

2. Case study

3. Preliminary Analysis Model (PAM)

4. Detailed Analysis Model (DAM)

5. Validation by Prototyping (PrM) and Testing (TeM)

6. Conclusion and ongoing research projects

References

Chapter 5 UML-BASED SPECIFICATIONS OF AN EMBEDDED SYSTEM ORIENTED TO HW/SW PARTITIONING

1. Introduction

2. Why Hardware and Software Co-design starting from UML

3. Case Study: Problem description

3.1 Objective

3.2 The operational scenario

3.3 The project constraints

4. WMR System-level Specification with UML

4.1 Use Case diagrams

4.2 Sequence Diagrams

4.3 Object Model Diagram

5. UML-based Hardware and Software Partitioning Approach

5.1 STEP 1: Assign the "Partitionable" stereotype to desired objects, object types and packages

5.2 STEP 2: Assign parameter’s constraints

5.3 STEP 3: Parse the UML saved files

5.4 STEP 4: Assign parameters to components from a repository or attribute parameters by hand

5.5 STEP 5: Decide cost function to give weights to parameters

5.6 STEP 6: Run the partitioning tool

6. Concluding Remarks

References

II C-BASED SYSTEM DESIGN

Chapter 6 SPACE: A HARDWARE/SOFTWARE SYSTEMC MODELING PLATFORM INCLUDING AN RTOS

1. Introduction

2. RelatedWorks and objectives

3. SPACE and its methodology

4. Embedded Software environment

4.1 SystemC API

4.2 The RTOS

5. Hardware support

5.1 Abstraction level

5.2 UTF Channel

5.3 TF Channel

6. An example and its simulation results

7. Conclusion and future works

References

Chapter 7 LAERTE++: AN OBJECT ORIENTED HIGH-LEVEL TPG FOR SYSTEMC DESIGNS

1. Introduction

2. Laerte++ Philosophy

2.1 Laerte++ architecture

2.2 Testing procedure set-up

2.3 Additional features

3. Fault Injector

3.1 Definition of new fault models

4. TPG Engine

5. Applicability Example

6. Concluding Remarks

References

Chapter 8 A CASE STUDY: SYSTEMC-BASED DESIGN OF AN INDUSTRIAL EXPOSURE CONTROL UNIT

1. Introduction

2. Exposure Control Unit

3. SystemC Modeling and Refinement Process

4. Automated Fixed-Point to Integer Conversion

5. Experimental Results and Experiences

6. Conclusion

References

Chapter 9 MODELING OF CSP, KPN AND SR SYSTEMS WITH SYSTEMC

Introduction

1. Embedded system speci.cation in SystemC

1.1 Specification Structure

1.2 System specification

2. Modeling of CSP, KPN and SR systems

2.1 Modeling of CSP systems

2.2 Modeling of KPN systems

2.3 Modeling of SR systems

3. Conclusions

References

Chapter 10 ON HARDWARE DESCRIPTION IN ECL

1. Introduction

2. Overview of ECL

3. HW/SW Co-Design Flow with ECL

3.1 Specification and Refinement

3.2 Hardware Synthesis

4. Case Study: A Simple Processor

4.1 Processor Description

4.2 ECL Module Structure

4.3 Processor Synthesis Results

5. Conclusion

References

III ANALOG AND MIXED-SIGNAL SYSTEMS

Chapter 11 RULES FOR ANALOG AND MIXED-SIGNAL VHDL-AMS MODELING

1. Introduction

2. Simulation problem

2.1 Elaboration of the analog part

2.2 Characterization of solutions

3. Modeling rules

3.1 General rules

3.2 Initialization phase

3.3 Time domain simulation

3.4 Rules for mixed-signal models

4. Conclusion

References

Chapter 12 A VHDL-AMS LIBRARY OF HIERARCHICAL OPTOELECTRONIC DEVICE MODELS

Introduction

1. FromWAN to SAN

2. CAD tools for optoelectronic systems

2.1 Behavioral modelling

3. A hierarchical library

4. Optoelectronic devices

4.1 Laser and MQW laser

4.2 Vertical Cavity Surface Emitting Laser : VCSEL

4.3 The optical fiber

4.4 The PIN photodiode

5. An optical link

5.1 Simulation results

5.2 Exploiting results

6. Conclusion and perspectives

6.1 Library development

6.2 VHDL-AMS limitations

6.3 Methodology conclusion

References

Chapter 13 TOWARDS HIGH-LEVEL ANALOG AND MIXED-SIGNAL SYNTHESIS FROM VHDL-AMS SPECIFICATIONS

1. Introduction

2. VHDL-AMS Subset for Synthesis

3. High-Level Analog Synthesis

3.1 Tile Representation

4. Case Study

5. Conclusion

References

Chapter 14 RELIABILITY SIMULATION OF ELECTRONIC CIRCUITS WITH VHDL-AMS

1. Introduction

2. A degradation mechanism: hot carrier degradations

3. The reliability simulation today

4. Behavioural modelling for ageing simulation

5. Construction of the behavioural ageing model of a circuit

5.1 Organisation of the behavioural ageing model

5.2 Principle of the construction of the degradation model of circuit

5.3 Bias conditions analysis

5.4 The transistor ageing model

5.5 Sensitivity analysis

5.6 An OTA ageing behavioural model

5.7 Using the model for simulation

6. Conclusion

References

Chapter 15 EXTENDING SYSTEMC TO ANALOG MODELLING AND SIMULATION

1. Introduction

2. Description of Analog Modules in SystemC

3. Application Examples

3.1 RF transceiver

3.2 Mixed-Signal Fuzzy Controller

4. Conclusion

References

IV LANGUAGES FOR FORMAL METHODS

Chapter 16 LINKING ARCHITECTURAL AND COMPONENT LEVEL SYSTEM VIEWS BY ABSTRACT STATE MACHINES

1. Introduction

2. Relating high-level and component-level system views

2.1 The language of ASMs

2.2 Navigation between levels of detail

3. Submachine-based component concept

3.1 Operators for the Composition of Components

3.2 Speci.c ASM component concepts

3.3 Componentwise system development: an example

4. Conclusion

Notes

References

Chapter 17 A NEW TIME EXTENSION TO p-CALCULUS BASED ON TIME CONSUMING TRANSITION SEMANTICS

1. Introduction

2. RelatedWork

3. Brief introduction to calculus

4. Time Consuming Transitions

5. Temporal properties of TLTS

6. Conclusion and Future Work

Notes

References

Chapter 18 MODELING CHP DESCRIPTIONS IN LABELED TRANSITIONS SYSTEMS FOR AN EFFICIENT FORMAL VALIDATION OF ASYNCHRONOUS CIRCUIT SPECIFICATIONS

1. Introduction

2. Translation from CHP to Petri Nets and IF

2.1 The Petri Nets and IF models

2.2 CHP components

2.3 CHP processes

2.4 Inter-process communications and probes

2.5 Optimizations

3. Performance study

4. Case study: a four-tap FIR Filter

4.1 Modeling the Filter in IF

4.2 Some verified properties

4.3 Verification by behavior reduction

4.4 Handling state explosion

5. Conclusion

References

Chapter 19 COMBINED FORMAL REFINEMENT AND MODEL CHECKING FOR REAL-TIME SYSTEMS VERIFICATION

1. Introduction

2. RelatedWork

3. Real-Time Model Checking with RAVEN

4. Refinement with B

5. Combined Model Checking and Refinement

5.1 The Echo Cancellation Unit

5.2 RIL Code Generation

5.3 B Generation

5.4 RIL Refinement

5.5 BT Generation

5.6 BT Refinement and C Code Generation

6. Experimental Results

7. Conclusions

References

Chapter 20 REFINEMENT OF HYBRID SYSTEMS

1. Introduction

2. HyCharts

3. Modeling Hybrid Control Systems with SystemC

4. Translation of discrete HyCharts to SystemC

5. Conclusion and Future Work

References

V APPLICATIONS AND NEW LANGUAGES

Chapter 21 AUTOMOTIVE SOFTWARE ENGINEERING

1. Introduction

2. Characteristics of Automotive Software Engineering

2.1 Observable Symptoms

2.2 Main Characteristics of ASE

3. The Demands for an Automotive Software Engineering Discipline

3.1 Process Paradigm

3.2 Requirements Engineering

3.3 Software Architecture & Design

3.4 Specification

3.5 Implementation

3.6 Test

3.7 Maintenance

4. Conclusion

References

Chapter 22 SYSTEMVERILOG

1. Introduction

2. Features of SystemVerilog

3. Challenges

4. Summary

Bibliography and Resources