Sessions

Paper Sessions

Application Frameworks
(Tuesday, June 12th, 11:30 - 13:00, Wallenbergaren room)

• Ada Ravenscar Code Archetypes for Component-based Development, Marco Panunzio and Tullio Vardanega
  Presentation
    
• An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications, Sergio Sáez, Jorge Real and Alfons Crespo
  Presentation
   
• Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-time Systems with Ada DSA, Marisol García Valls and Felipe Ibáñez Vázquez
  Presentation
   

• Source Code as the Key Artifact in Requirement-Based Development: the Case of Ada 2012, Cyrille Comar, José Ruiz and Yannick Moy
  Presentation
   
• Teaching 'Concepts of Programming Languages' with Ada, Theodor Tempelmeier
  Presentation
   
• Designing the API for a Cryptogaphic Library, Christian Forler, Stefan Lucks and Jakob Wenzel
  Presentation
   

• Handling Synchronization Requirements under Separation of Concerns in Model-driven Component-based Development, Patricia López Martínez and Tullio Vardanega
  Presentation
   
• An Approach to Model Checking Ada Programs, Joao Martins, José Faria and Jorge Sousa Pinto
  Presentation
   
• Formal Modelling for Ada Implementations: Tasking Event-B, Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler
  Presentation
   

• Formal Goal-Oriented Development of Resilient MAS in Event-B, Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis
  Presentation
   
• Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology, Pak-Lok Poon, Tsong Yueh Chen and T.H. Tse
  Presentation
   
• Augmenting formal development with use case reasoning, Alexei Iliasov
   

• Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit, Kristoffer Nyborg Gregertsen and Amund Skavhaug
  Presentation
   
• Implementing and Validating EDF Preemption-Level Resource Control, Mark Fairburn and Alan Burns
  Presentation
   
• Efficient Constraint Handling During Designing Reliable Automotive Real-time Systems, Florian Pölzlbauer, Iain Bate and Eugen Brenner
  Presentation
   

Industrial Sessions

Use of Ada
(Wednesday, June 13th, 17:00 - 18:30, Wallenbergaren room)

• Using an Ada/Firmware Co-design to Emulate an Obsolete Processor, Rod White
  Presentation
   
• A Portfolio Model for Natural Catastrophe Reinsurance - Experience using Ada and the GNAT Programming Environment, Gautier de Montmollin
  Presentation
   
• Development of Controller Pilot Automatic Data Communication (Data Comm) System, Alok Srivastava and Jeff O' Leary
  Presentation
   

• ATV Flight Application Software Command Checker (FCC), Jørgen Bundgaard
  Presentation
   
• Use of Model Driven Code Generation on the ASIM Project, Steen Palm
  Presentation
   
• Including Hardware/Software Co-design in the ASSERT Model Driven Engineering Process, Francisco Ferrero, Elena Alaña, Ana I. Rodríguez, Juan Zamorano and Juan A. de La Puente
  Presentation
   

• Tool Support for Verification of Software Timing and Stack Usage for a DO-178B Level A System, Felipe Kamei, Daniela Cristina Carta, Ian Broster and Will Lunniss
  Presentation
   
• Combining Ada Generics and Code Generation to Implement a Software Product Line, Richard Bridges, Frank Dordowsky and Holger Tschöpe
  Presentation