You can download the Workshop Program here (Download Slide: Program-Serene2008)
17th November 2008 (Monday)
| 13:30 – 13:45 | Welcome and introduction by the chairs |
| Nicolas Guelfi (University of Luxembourg, LUXEMBOURG) Henry Muccini (University of L’Aquila, ITALY) Patrizio Pelliccione (University of L’Aquila, ITALY) Alexander Romanovsky (Newcastle University, UK) |
|
| 13:45 – 15:00 | Keynote talk – chair: Alexander Romanovsky |
| System Complexity, Dependability and Failures – (Download Slide: SystemComplexityDependabilityFailures-B Randell ) Brian Randell |
|
| 15:00 – 15:30 | Coffee break |
| Technical session: Architectures and modelling – chair: Paris Avgeriou | |
| 15:30 – 16:00 | A Resilient Architecture for DHT-based Distributed Collaborative Environments – (Download Slide: AResilientArchitectureForDHT-basedDistributedCollaborativeEnvironments) |
| Simone Cirani (University of Parma – Italy) Natalya Fedotova (University of Parma – Italy) Luca Veltri (University of Parma – Italy) |
|
| 16:00 – 16:30 | Incorporating Fault Tolerance Tactics in Software Architecture Patterns – (Download Slide: IncorporatingFaultToleranceTacticsInSoftware-NHarrison) |
| Neil Harrison (University of Groningen – The Netherlands) Paris Avgeriou (University of Groningen – The Netherlands) |
|
| 16:30 – 17:00 | Addressing Degraded Service Outcomes and Exceptional Modes of Operation in Behavioural Models – (Download Slide: AddressingDegradedOutcomesDegradedModesInBehaviouralModels ) |
| Sadaf Mustafiz (McGill University – Canada) Jörg Kienzle (McGill University – Canada) Andrey Berlizev (Université du Luxembourg – Luxembourg) |
|
| 17:00 – 17:30 | Discussion |
| SERENE SOCIAL PROGRAM |
18th November 2008 (Tuesday)
| 09:00 – 09:15 | The SERENE ERCIM working group Report – chair: Nicolas Guelfi – (Download Slide:SoftwareEngineeringForResilientSystems-NGuelfi) |
| 09:15 – 10:30 | Keynote talk 2 – chair: Henry Muccini |
| Challenges and Results in Component Quality Certification – (Download Slide: ChallengesResultsInComponentQualityCertification-RReussner ) Ralf Reussner |
|
| 10:30 – 11:00 | Coffee break |
| Technical session: Mobility – chair: Giovanna di Marzo | |
| 11:00 – 11:30 | An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications |
| Máté Kovács (Budapest University of Technology and Economics – Hungary) Paolo Lollini (University of Florence – Italy) István Majzik (Budapest University of Technology and Economics – Hungary) Andrea Bondavalli (University of Florence – Italy) |
|
| 11:30 – 12:00 | Formal development of cooperative exception handling for mobile agent systems – (Download Slide: FormalDevelopmentOfCooperativeExceptionHandlingForMobileAgentSystems ) |
| Linas Laibinis (Aabo Akademi – Finland) Elena Troubitsyna (Aabo Akademi – Finland) Alexei Iliasov (Newcastle University – UK) Alexander Romanovsky (Newcastle University – UK) |
|
| 12:00 – 12:30 | Discussion |
| 12:30 – 14:00 | Lunch |
| Experience/Industry session – chair: Patrizio Pelliccione | |
| 14:00 – 14:30 | The Threat of Uncertainty in Service–Oriented Architecture – (Download Slide: TheThreatOfUncertaintyInServiceOrientatedArchitecture-AGorbenko) |
| Anatoliy Gorbenko (National Aerospace University – Ukraine) Vyacheslav Kharchenko (National Aerospace University – Ukraine) Olga Tarasyuk (National Aerospace University – Ukraine) Yuhui Chen (Newcastle University – UK) Alexander Romanovsky (Newcastle University – UK) |
|
| 14:30 – 15:00 | Experiences in Engineering Active Replication into a Traditional Three-tiered Client-server System – (Download Slide: ExperiencesInEngineeringActiveReplicationIntoATrad ) |
| Gabriel Zenarosa (Carnegie Mellon University – USA) Soumya Simanta (Software Engineering Institute – USA) |
|
| 15:00 – 15:30 | Supporting Resilience in Air Traffic Management – (Download Slide: SupportingResilenceInAirTrafficManagement-ATedeschi ) |
| Massimo Felici (Deep Blue S.r.l., Italy) Valentino Meduri (Deep Blue S.r.l., Italy) Alessandra Tedeschi (Deep Blue S.r.l., Italy) Carlo Riccucci (Engineering Ingegneria Informatica S.p.A., Italy) |
|
| 15:30 – 16:00 | Coffee break |
| 16:00 – 16:30 | Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real–Time Systems: A Technical Diary – (Download Slide: DevelopmentOfFormalismForModelingAnalysisDynamicReconfiguration) |
| Anirban Bhattacharyya (Newcastle University – UK) John Fitzgerald (Newcastle University – UK) |
|
| 16:30 – 17:00 | RPL: A Policy Language For Dynamic Reconfiguration – (Download Slide: APolicyLanguageForDyanmicReconfiguration-RPayne) |
| Richard Payne ( Newcastle University – UK) | |
| 17:00 – 17:30 | Discussion |
| 19:30 | SERENE SOCIAL PROGRAM |
| SERENE dinner at the Grainger Rooms The Grainger Rooms 7 Higham Place Newcastle-Upon-Tyne NE1 8AF |
19th November 2008 (Wednesday)
| Technical session: Construction of and reasoning about resilient systems chair: Alexander Romanovsky |
|
| 09:00 – 09:30 | An Evolving Hierarchical & Modular Approach to Resilient Software – (Download Slide: AnEvolvingHierarchicalModularApproachToResilientSoftware-FBarros) |
| Fernando Barros (Universidade de Coimbra – Portugal) | |
| 09:30 – 10:00 | Towards Reasoning about Teleo–Reactive Programs for Robust Real–Time Systems – (Download Slide: TowardsReasoningAboutTeleoReactiveProgramsForRobustRealTimeSystems) |
| Ian Hayes (University of Queensland – Australia) | |
| 10:00 – 10:30 | Discussion |
| 10:30 – 11:00 | Coffee break |
| PhD Forum papers: session 2 – chair: Nicolas Guelfi | |
| 11:00 – 11:30 | A Reconfigurable Component Model Using Reflection – (Download Slide: AReconfiguratableComponentModelUingReflection-JHawthorne) |
| James Hawthorne (University of Greenwich – UK) Richard Anthony (University of Greenwich – UK) |
|
| 11:30 – 12:00 | Resilience through Dynamic Reconfiguration in Agent Systems – (Download Slide: ResilienceThroughDynamicReconfigurationInAgentSystems-ILopatkin) |
| Ilya Lopatkin (Kyrgyz-Russian Slavic University – Kyrgyzstan) | |
| 12:00 – 12:30 | Extended Exceptions for Contingencies – (Download Slide: ExtendedExceptionsForContingencies) |
| Thorsten van Ellen (Carl von Ossietzky University of Oldenburg – Germany) Wilhelm Hasselbring (Carl von Ossietzky University of Oldenburg – Germany) |
|
| Project papers – chair: John Fitzgerald | |
| 12:30 – 12:50 | DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability – (Download Slide: DeployIndustrialDeploymentOffAdvancedSystemEngineeringMethods) |
| Alexander Romanovsky (Newcastle University – UK) | |
| 12:50 – 13:10 | Services for Fault–Tolerant Conflict Resolution in Air Traffic Management |
| Henrique Moniz (University of Lisboa – Portugal) Paolo Masci (University of Pisa – Italy) Alessandra Tedeschi (Deep Blue – Italy) |
|
| 13:10 – 13:30 | Discussion |