|
Afternoon
Breakout Session-Monday, September 6 |
|
Time |
Track 1
Software Requirement Engineering
Chair: Alain Abran |
Track 2
Embedded System Design
Chair: Wolfgang Halang |
|
|
|
|
|
1:30pm- 2: 00pm |
A Technique to
Improve the Quality of Software Requirements in Natural Language
Palluch Jens, Weiss Steffen, Saglietti Francesca |
Design of
Logic Controllers for Safety Critical Systems Using FPGAs with
Embedded Microprocessors.
Bukowiec Arkadiusz, and Wêgrzyn Marek |
|
2:00pm-2: 30pm |
Traceability
Analysis:
Modeling
Functional Requirement Specification.
Kececi Nihal, Abran Alain |
Embedded
Architecture For Realtime Control and Monitoring on Large Scale Areas.
González Apolinar
P., Rodríguez Martín L., Madrigal Andrey A., Viquez Oscar A., Mendez
Abel |
|
2:30pm-3:00pm |
Real-Time
Systems development: SDL and IF for specification.
Alkhodre Ahmad, Khatab Abdelhakim, Babau Jean-Philippe, Schwarz
Jean-Jacques C. |
The
Role Of Scheduled Maintenance Actions On The Failure Process Of
Electric Rail Vehicles
Stavropoulos Ch.N., Fassois S.D. |
|
3:00pm-3:30pm |
COFFEE BREAK |
|
3:30pm-4:15pm |
Round Table Discussion:
Discussion
with Chair+ presenters+ &
audience |
|
|
|
Morning
Breakout Session-Tuesday, September 7 |
|
|
Track 3
Dependability and Safety for Real-time
Systems
Chair: Steven Arndt |
Track 4
Real-time Programming
Chair: Szmuc Tomasz |
|
8:30am-9:00am |
Dependable
Programming Using Statechart Models.
Sacha Krzysztof A.
|
Portable
Component for Resource Management
Alonso Alejandro, Sánchez-Rico Alejandro, Lobo Miguel, Ruíz José |
|
9:00am-9:30am |
Security
of Control Computers.
Fitz Robert, Halang Wolfgang B. |
Robustness
of Java Towards Real-Time Programming.
Kutti Swamy Al-Khanjari Z. A.,
Ramadhan H. A. |
|
9:30am-10:00am |
Model Checking Preemptive Tasking Sets using Time Petri Nets and
UPPAAL.
Furfaro Angelo,Nigro Libero, Pupo Francesco C. |
Decentralized
Real-Time Management of Largely Unpredictable Power Needs and Supply.
Wedde Horst, Breuer F.T., Freund W., Handschin E., König D.,
Neumann H. |
|
10:00am-10:30am |
COFFEE
BREAK |
|
10:30am-11:00am
|
Two Formal
Approaches to Design and Verification of Embedded Rule-based Systems.
Nalepa Grzegorz J., Szpyrka Marcin |
Industrial Track
An Object-Oriented Multi-Layer Architecture for Software Development.
Osman Ataker |
|
11:30am-12:00pm |
Heuristic for
Identifying Error-Prone Segments of Code
Khokhar M. Masud, Rehman Muhammad Jaffar-ur, Nadeem Aamir |
A
SPICE-Oriented, SWEBOK-Based Software Process Assessment on a National
Scale: Turkish Software Sector Survey -2001
Aytac Turgay, Ikiz Seckin, Aykol Meric |
|
12:00am-1:30pm |
LUNCH BREAK |
|
Afternoon
Breakout Session-Tuesday, September 7 |
|
|
Track 5
Software Design
Chair: Alain Abran |
Track 6
Real-time Programming
Chair: Wolfgang Halang |
|
1:30pm- 2: 00pm |
A UML Profile
for Modeling Safety-critical Embedded Real-time Control Systems
Lu-Shourong, and Kececi Nihal |
Comparison and
Analysis of Two Proposals for Reducing Control Delays
Lluesma Manuel, Balbastre Patricia, Ripoll Ismael, Crespo Alfons |
|
2:00pm-2: 30pm |
New Time Model
and Fast Design Method for RTCP-nets
Szpyrka Marcin and Szmuc Tomasz |
Assessing the
Impact of Traditional Real-Time Scheduling Algorithms on Top of
Embedded Applications
Becker L. B., Wehrmeister M., Carro L., Wagner F. R., Pereira Carlos E |
|
2:30pm-3:00pm |
Time
Constraints Modeling And Verification Using Timed Colored Petri Nets
Samolej Slawomir, Szmuc Tomasz |
Generation Of
Optimal Timetables For Time-Triggered Can Communication Protocol
Verber Domen, ©progar Matej |
|
3:00pm-3:30pm |
COFFEE BREAK |
|
3:30pm-4:15pm |
Round Table Discussion:
Discussion
with Chair+ presenters+ &
audience |
|
|
|
Morning
Breakout Session-Wednesday, September 8 |
|
|
Track 7
Implementing Software Engineering Methods and
Practices
Chair: Alain Abran |
Track 8
Complex Engineering Systems
Risk, Safety and Security
Chair: Mohammed Modarres |
|
8:30am-9:00am |
Implementation
of the CHAMP System
Andréasson Sven-Arne |
An Enhanced
Fault Tree Analysis Using Hidden Markov Model
Ali Shaukat, Rehman Muhammad Jaffar-ur, Nadeem Aamer
|
|
9:00am-9:30am |
Chidamber-Kemerer (CK) and Lorenze-Kidd (LK) Metrics to Assess Java
Programs
Al-Jaafer Jubair J., Sabri Khair Eddin M. |
Characterization And Modeling Of Complex Engineering Systems
Modarres Mohammed, Yu-Shu Hu |
|
9:30am-10:00am |
Use of Taguchi
DOE in Software Process Improvement
Seshadri Rajani, Kannan K. R., V Sathish |
Experimental
Hardware Platform for Distributed Fault-Tolerant Control Systems.
Verber Domen. |
|
10:00am-10:30am |
COFFEE BREAK |
|
10:30am-11:00am |
Applying
Development Process Measurements for Device Drivers Defects Prediction
Misnevs Boriss, Stroitelev Sergey |
A Framework
for Development of Fault Tolerant Applications
Khan M.Uzair, Rehman Muhammad
Jaffar-ur, Nadeem Aamer |
|
11:30am-12:00pm |
Common Cause
Failure Analysis
Seshadri Rajani, Vasu P |
A Risk
Informed MTO-model
Gran
Bjørn Axel, Thunem Atoosa P-J, Skjerve Ann Britt Miberg, Bye Andreas |
|
12:00am-13:30pm |
LUNCH BREAK |
