From Specification to Embedded Systems Application

DOMAIN-CROSSING SOFTWARE PRODUCT LINES IN EMBEDDED, AUTOMOTIVE SYSTEMS....Pages 1-12
MECHATRONICS DESIGN AND VERIFICATION....Pages 13-22
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS....Pages 23-34
FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS....Pages 35-44
AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS....Pages 45-54
AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS....Pages 55-64
SOFTWARE AND DRIVER SYNTHESIS FROM TRANSACTION LEVEL MODELS....Pages 65-76
EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS....Pages 77-86
ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR....Pages 87-96
AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT....Pages 97-102
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS....Pages 103-114
SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS Research partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT. ....Pages 115-124
A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM Research partially supported by the Spanish MCYT project TIC2003-07848-C02, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT. ....Pages 125-136
ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL....Pages 137-146
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN....Pages 147-156
TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS....Pages 157-168
INTEGRATION OF EMBEDDED SOFTWARE WITH CORPORATE INFORMATION SYSTEMS This work has been supported by projects STACOS (POSI/CHS/48875/2002) and METHODES (POSI/CHS/37334/2001) ....Pages 169-178
AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES....Pages 179-188
ABSTRACT COMMUNICATION MODELING....Pages 189-200
ADAPTABLE SWITCH BOXES AS ON-CHIP ROUTING NODES FOR NETWORKS-ON-CHIP....Pages 201-210
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP....Pages 211-222
ASSESSING THE USE OF RT-JAVA IN AUTOMOTIVE TIME-TRIGGERED APPLICATIONS....Pages 223-234
DISTRIBUTED CONTROL STRUCTURE OF THE NBP TEST TRACK WITH LINEAR MOTOR DRIVEN VEHICLES....Pages 235-244
TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES....Pages 245-254
TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP This work was developed in the course of the Special Research Initiative 614 - Self-optimizing Concepts and Structures in Mechanical Engineering - University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft. ....Pages 255-266
COMPONENT CASE STUDY OF A SELF-OPTIMIZING RCOS/RTOS SYSTEM....Pages 267-276
A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS....Pages 277-288
PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS....Pages 289-300
TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD....Pages 301-310
OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS....Pages 311-311