-
1
-
-
85178866672
-
-
ITEA SPICES project, http:://www.spices-itea.org
-
-
-
-
2
-
-
85178859443
-
-
RTCA Special Committee 167. Software considerations in airborne systems and equipment certification. In: Technical Report DO-178B, RTCA,Inc., dec 1992.
-
-
-
-
3
-
-
85178862844
-
-
Object Management Group. Light Weight CORBA Component Model Revised Submission. In: OMG Document realtime/03-05-05 edn. (2003).
-
-
-
-
4
-
-
85178854557
-
-
SAE - Society of Automative Engineers. SAES AS5506, v1.0. In: Embedded Computing Systems Committee, SAE, November, 2004.
-
-
-
-
5
-
-
85178860374
-
-
F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Scheduling and Memory requirements analysis with AADL. In: Proceedings of the 2005 annual ACM SIGAda international conference on Ada, Atlanta, GA, USA, 2005.
-
-
-
-
6
-
-
85178860200
-
-
A.E. Rugina, K. Kanoun and M. Kaâniche. AADL-based Dependability Modelling. In : LAAS report No06209, 2006.
-
-
-
-
7
-
-
85178852858
-
-
Ades, http://www.axlog.fr/aadl/ades_fr.html
-
-
-
-
8
-
-
85178864930
-
-
CO'. Halloran, Issues for the automatic generation of safety critical software Automated Software Engineering, 2000. In: Proceedings ASE 2000. The Fifteenth IEEE International Conference on Volume, Issue , 2000 Page(s):277 - 280
-
-
-
-
9
-
-
85178866606
-
-
R. Marvie, P. Merle, and J.M. Geib. Separation of concerns in modeling distributed component-based architectures. In: proc. of Enterprise Distributed Object Computing Conference, 2002 (EDOC '02).
-
-
-
-
10
-
-
85178854999
-
-
Object Management Group. Deployment and Configuration Adopted Submission. In: OMG Document ptc/03-07-08 edn. (2003)
-
-
-
-
11
-
-
85178855535
-
-
E.Borde, G.Haïk, V.Watine, Laurent Pautet, Really Hard Time developing hard real Time. In Control Architecture of Robots (CAR '07) Workshop, May 07.
-
-
-
-
12
-
-
85178856069
-
-
M. González Harbour, J.J. Gutiérrez, J.C. Palencia and J.M. Drake. MAST: Modeling and Analysis Suite for Real-Time Applications. In: Proceedings of the Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001.
-
-
-
-
13
-
-
85178866248
-
-
K.G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. In: Journal on Software Tools for Technology transfer, 1(1-2):134-152, October 1997.
-
-
-
-
14
-
-
85178852038
-
-
Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, and François Vernadat. Behavioural descriptions in architecture description languages: Application to AADL. In European Congress : ERTS2006: Embedded Real Time Software, Toulouse, page (à paraitre). SIA, SEE, AAAF, 25-27 janvier 2006.
-
-
-
-
15
-
-
85178869352
-
-
Object Management Group. QoS4CCM Final Adopted Specification. In: OMG ptc/06-04-12
-
-
-
-
16
-
-
85178856002
-
-
OSATE http://www.aadl.info/
-
-
-
-
17
-
-
85178868417
-
-
Jérôme Hugues, Bechir Zalila, and Laurent Pautet. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In: Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07), pages 106-112, Porto Alegre, Brazil, May 2007. IEEE Computer Society Press.
-
-
-
-
18
-
-
85178862308
-
-
R. Reddy, R. France, S. Ghosh, F. Fleurey, B. Baudry. Model Composition - A Signature-Based Approach, in: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica, October 2005.
-
-
-
-
19
-
-
85178856317
-
-
TOPCASED. http://www.topcased.org
-
-
-
|