Real-Time Programming 2004. IPV - IFAC Proceedings Volume

  • ID: 1766132
  • Book
  • 360 Pages
  • Elsevier Science and Technology
1 of 4
This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field.

Contents include:
DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS
REAL-TIME PROGRAMMING TECHNIQUES
SOFTWARE REQUIREMENT ENGINEERING
CONTROL SYSTEMS DESIGN
SOFTWARE DESIGN
SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS
Note: Product cover images may vary from those shown
2 of 4
Contents

Introduction

Characterization and Modeling of Complex Engineering Systems

Certification and Licensing of Pre-Developed Software Components for Safety-Relevant Applications

Envisioning Conscious Controllers

Software Requirement Engineering

A Technique to Improve the Quality of Software Requirements in Natural Language

Traceability Analysis: Modeling Functional Requirements Specifications

Real-Time Systems Development: SDL and IF for Specification, Design and Validation

Real-Time Programming Techniques

Portable Component for Resource Management

Decentralized Real-Time Management of Largely Unpredictable Power Needs and Supply

Comparison and Analysis of Two Proposals for Reducing Control Delays

Generation of Optimal Timetables for Time-Triggered CAN Communication Protocol

Dependability and Safety for real-time systems

Dependable Programming Using Statechart Models

Security of Control Computers

Model Checking Preemptive Tasking Sets Using Time Petri Nets and UPPAAL

Two Formal Approaches to Design and Verification of Embedded Rule-Based Systems

Control Systems Design

Design of Logic Controllers for Safety Critical Systems Using FPGAs with Embedded Microprocessors

The Role of Scheduled Maintenance Actions on the Failure Process of Electric Rail Vehicles

Experimental Hardware Platform for Distributed Fault-Tolerant Control Systems

Software Design

A UML Profile for Modeling Safety-Critical Embedded Real-Time Control Systems

New Time Model and Design Method for RTCP-Nets

Time Constraints Modeling and Verification Using Timed Colored Petri Nets

Software Engineering and Complex Engineering Systems

Implementation of the CHAMP System

Use of Taguchi DOE in Software Process Improvement

Applying Development Process Measurements for Device Drivers Defects Prediction

Common Cause Failure Analysis
Software Service Industry Perspective

Author Index
Note: Product cover images may vary from those shown
3 of 4

Loading
LOADING...

4 of 4
Colnaric, Matjaz
Note: Product cover images may vary from those shown
5 of 4
Note: Product cover images may vary from those shown
Adroll
adroll