From Specification to Embedded Systems Application

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 DOMAIN-CROSSING SOFTWARE PRODUCT LINES IN EMBEDDED, AUTOMOTIVE SYSTEMS
3. Altmetric Badge
   Chapter 2 MECHATRONICS DESIGN AND VERIFICATION
4. Altmetric Badge
   Chapter 3 ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
5. Altmetric Badge
   Chapter 4 FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS
6. Altmetric Badge
   Chapter 5 AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS
7. Altmetric Badge
   Chapter 6 AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS
8. Altmetric Badge
   Chapter 7 SOFTWARE AND DRIVER SYNTHESIS FROM TRANSACTION LEVEL MODELS
9. Altmetric Badge
   Chapter 8 EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS
10. Altmetric Badge
    Chapter 9 ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR
11. Altmetric Badge
    Chapter 10 AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT
12. Altmetric Badge
    Chapter 11 FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS
13. Altmetric Badge
    Chapter 12 SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS
14. Altmetric Badge
    Chapter 13 A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM
15. Altmetric Badge
    Chapter 14 ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL
16. Altmetric Badge
    Chapter 15 OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN
17. Altmetric Badge
    Chapter 16 TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS
18. Altmetric Badge
    Chapter 17 INTEGRATION OF EMBEDDED SOFTWARE WITH CORPORATE INFORMATION SYSTEMS
19. Altmetric Badge
    Chapter 18 AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES
20. Altmetric Badge
    Chapter 19 ABSTRACT COMMUNICATION MODELING
21. Altmetric Badge
    Chapter 20 ADAPTABLE SWITCH BOXES AS ON-CHIP ROUTING NODES FOR NETWORKS-ON-CHIP
22. Altmetric Badge
    Chapter 21 INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP
23. Altmetric Badge
    Chapter 22 ASSESSING THE USE OF RT-JAVA IN AUTOMOTIVE TIME-TRIGGERED APPLICATIONS
24. Altmetric Badge
    Chapter 23 DISTRIBUTED CONTROL STRUCTURE OF THE NBP TEST TRACK WITH LINEAR MOTOR DRIVEN VEHICLES
25. Altmetric Badge
    Chapter 24 TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES
26. Altmetric Badge
    Chapter 25 TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP
27. Altmetric Badge
    Chapter 26 COMPONENT CASE STUDY OF A SELF-OPTIMIZING RCOS/RTOS SYSTEM
28. Altmetric Badge
    Chapter 27 A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS
29. Altmetric Badge
    Chapter 28 PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS
30. Altmetric Badge
    Chapter 29 TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD
31. Altmetric Badge
    Chapter 30 OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS