13 papers:
HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling- Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
- HILT-2013-LarsonHFD #fault #modelling #safety #using
- Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device (BRL, JH, KF, JD), pp. 65–84.
ICSE-2011-HardyBKW #development- Digitally annexing desk space for software development (JH, CB, GK, JW), pp. 812–815.
DATE-2009-YangHMP #behaviour #semantics #towards- Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.
AdaEurope-2006-Cheng #ada #detection #realtime #runtime- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
SIGAda-2005-Berns #ada #comparison #corba #distributed- A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.
FME-2003-SawadaKF #future of #implementation #past present future- Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.
- SIGAda-1999-PautetT #distributed #question #what
- What future for the distributed systems annex? (LP, ST), pp. 77–82.
- AdaEurope-1998-LewisVM #distributed #requirements
- Modern Avionics Requirements for the Distributed Systems Annex (BAL, SV, DJM), pp. 201–212.
- AdaEurope-1998-PautetT #distributed
- Inside the Distributed Systems Annex (LP, ST), pp. 65–77.
- SIGAda-1998-TzruyaB #distributed #implementation #java
- A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.
- TRI-Ada-1997-Balfour #ada #distributed #java
- Combining Ada 95, Java Byte Code, and the Distributed Systems Annex (BB), pp. 247–260.
- TRI-Ada-1996-Riley #ada #comparison #corba #development #distributed
- A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA (JDR), pp. 73–80.
