Real-Time Programming 2004Matjaž Colnarič, Wolfgang A. Halang, Marek Węgrzyn Elsevier, 2005 - 153 lappuses 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 |
Saturs
Characterization and Modeling of Complex Engineering Systems | 1 |
Certification and Licensing of PreDeveloped Software Components for SafetyRelevant | 13 |
Envisioning Conscious Controllers | 19 |
A Technique to Improve the Quality of Software Requirements in Natural Language | 25 |
Modeling Functional Requirements Specifications | 31 |
SDL and IF for Specification Design and Validation | 37 |
Portable Component for Resource Management | 43 |
Decentralized RealTime Management of Largely Unpredictable Power Needs and Supply | 49 |
Model Checking Preemptive Tasking Sets Using Time Petri Nets and UPPAAL | 85 |
Two Formal Approaches to Design and Verification of Embedded RuleBased Systems | 91 |
Design of Logic Controllers for Safety Critical Systems Using FPGAs with Embedded | 97 |
The Role of Scheduled Maintenance Actions on the Failure Process of Electric Rail Vehicles | 103 |
Experimental Hardware Platform for Distributed FaultTolerant Control Systems | 109 |
A UML Profile for Modeling SafetyCritical Embedded RealTime Control Systems | 115 |
New Time Model and Design Method for RTCPNets | 121 |
Time Constraints Modelling and Verification Using Timed Coloured Petri Nets | 127 |
Comparison and Analysis of Two Proposals for Reducing Control Delays | 55 |
Assessing the Impact of Traditional RealTime Scheduling Algorithms on Top of Embedded | 61 |
Generation of Optimal Timetables for TimeTriggered CAN Communication Protocol | 67 |
Dependable Programming Using Statechart Models | 73 |
Security of Control Computers | 79 |
Implementation of the CHAMP System | 133 |
Use of Taguchi DOE in Software Process Improvement | 139 |
Common Cause Failure Analysis Software Service Industry Perspective | 147 |
| 153 | |
Bieži izmantoti vārdi un frāzes
achieve actions activities algorithm allows analysis application approach architecture BACC basic behavior block cause changes clock communication complex components Computer connected considered consists constraints control systems corresponding cycle decision defect defined delays depends described distributed embedded enabled Engineering environment evaluation example execution experience expression failure faults Figure formal functions goals hardware hierarchy identified IFAC implemented increase input integrated interface internal knowledge language means measures method modules natural needs nets nodes objects operation organization output performance period Petri phase possible presented priority problem processor properties proposed real-time real-time systems REFERENCES reliability represent requirements resource safety scheduling selected signal simulation specification standard structure Table task Technology testing tion tool traceability transition unit validation values verification