Fabrice Kordon, Yvon Kermarrec
Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2009.

@proceedings{AdaEurope-2009,
	address       = "Brest, France",
	doi           = "10.1007/978-3-642-01924-1",
	editor        = "Fabrice Kordon and Yvon Kermarrec",
	isbn          = "978-3-642-01923-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 5570,
	year          = 2009,
}

Contents (19 items)

6 ×#modelling
4 ×#ada
3 ×#analysis
3 ×#implementation
3 ×#requirements
2 ×#architecture
2 ×#realtime
2 ×#testing

AdaEurope-2009-ZoviV #programming language #requirements

Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.

AdaEurope-2009-UruenaZP #distributed #middleware #realtime #strict

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems (SU, JZ, JAdlP), pp. 16–29.

AdaEurope-2009-DelangePF #architecture #requirements #safety #security #validation

Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.

AdaEurope-2009-LauY #logic #on the #testing

On Comparing Testing Criteria for Logical Decisions (MFL, YTY), pp. 44–58.

AdaEurope-2009-BuchsLC #generative #model checking #modelling #process #testing

Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.

AdaEurope-2009-Montoya-DatoAG #ada #experience #online #programming #using

An Experience on Ada Programming Using On-Line Judging (FJMD, JLFA, GGM), pp. 75–89.

AdaEurope-2009-KaiserP #java #multi #semantics #thread

Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.

AdaEurope-2009-RivasHR #ada #implementation

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.

AdaEurope-2009-BurnsWZ #ada #analysis #implementation #scheduling

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.

AdaEurope-2009-MarrefB #analysis #worst-case

Predicated Worst-Case Execution-Time Analysis (AM, GB), pp. 134–148.

AdaEurope-2009-SaezTGC #ada #implementation #state machine #uml

Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.

AdaEurope-2009-Fernandez-SanchezA #architecture #modelling #realtime

Modelling and Evaluating Real-Time Software Architectures (JLFS, GMA), pp. 164–176.

AdaEurope-2009-Favre #formal method #metamodelling

A Formal Foundation for Metamodeling (LF), pp. 177–191.

AdaEurope-2009-PiBF #communication #modelling

Modeling AADL Data Communication with BIP (LP, JPB, MF), pp. 192–206.

AdaEurope-2009-BerthomieuBCDFV #specification #verification

Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.

AdaEurope-2009-SokolskyLC #algebra #modelling

Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.

AdaEurope-2009-LasnierZPH #analysis #automation #code generation #modelling

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications (GL, BZ, LP, JH), pp. 237–250.

AdaEurope-2009-PorsG #concept #modelling #requirements

Conceptual Modeling for System Requirements Enhancement (ELP, OG), pp. 251–265.

AdaEurope-2009-ChoppyBC #petri net #recognition

Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.