IWSS/WRTP 2004 Presentations
Keynote Address: “Technical Issues and Regulatory Approaches for the Safe Use of Advanced Digital System”
Keynote Address: “Certification and Licensing of Pre-Developed Software Components for Safety- Relevant Applications”
Keynote Address: “Software Engineering Body of Knowledge (SWEBOK)”
Keynote Address: "Envisioning Conscious Controllers"
Track 1 (Software Requirement Engineering)
Track 2 (Embedded System Design)
Track 3 (Dependability and Safety for Real-time Systems)
Track 4 (Real-Time Programming)
Track 5 (Software Design)
Track 6 (Real-Time programming)
Track 7 (Implementing Software Engineering Methods and Practices)
Track 8 (Complex Engineering Systems, Risk, Safety and Security)
A Technique to Improve the Quality of Software Requirements in Natural Language
Traceability Analysis: Modeling Functional Requirement Specification.
Real-Time Systems development: SDL and IF for specification.
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
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.
Heuristic for Identifying Error-Prone Segments of Code
Portable Component for Resource Management
Decentralized Real-Time Management of Largely Unpredictable Power Needs and Supply.
A SPICE-Oriented, SWEBOK-Based Software Process Assessment on a National Scale: Turkish Software Sector Survey -2001
A UML Profile for Modeling Safety-critical Embedded Real-time Control Systems
New Time Model and Fast Design Method for RTCP-nets
Time Constraints Modeling And Verification Using Timed Colored Petri Nets
Comparison and Analysis of Two Proposals for Reducing Control Delays
Assessing the Impact of Traditional Real-Time Scheduling Algorithms on Top of Embedded Applications
Generation Of Optimal Timetables For Time-Triggered Can Communication Protocol
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
An Enhanced Fault Tree Analysis Using Hidden Markov Model
Characterization And Modeling Of Complex Engineering Systems
Experimental Hardware Platform for Distributed Fault-Tolerant Control Systems.
A Framework for Development of Fault Tolerant Applications
Copyright 2004 University of Maryland, College Park: Department of Mechanical Engineering If you have any questions, please contact: Jose Hurtado, jhurtado@umd.edu
