메뉴 건너뛰기




Volumn , Issue , 2008, Pages 269-274

Automatic composition of AADL models for the verification of critical component-based embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

LARGE SCALE SYSTEMS; MATHEMATICAL TRANSFORMATIONS; REAL TIME SYSTEMS; VERIFICATION;

EID: 44149126253     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2008.26     Document Type: Conference Paper
Times cited : (6)

References (19)
  • 1
    • 85178866672 scopus 로고    scopus 로고
    • ITEA SPICES project, http:://www.spices-itea.org
  • 2
    • 85178859443 scopus 로고    scopus 로고
    • RTCA Special Committee 167. Software considerations in airborne systems and equipment certification. In: Technical Report DO-178B, RTCA,Inc., dec 1992.
  • 3
    • 85178862844 scopus 로고    scopus 로고
    • Object Management Group. Light Weight CORBA Component Model Revised Submission. In: OMG Document realtime/03-05-05 edn. (2003).
  • 4
    • 85178854557 scopus 로고    scopus 로고
    • SAE - Society of Automative Engineers. SAES AS5506, v1.0. In: Embedded Computing Systems Committee, SAE, November, 2004.
  • 5
    • 85178860374 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • A.E. Rugina, K. Kanoun and M. Kaâniche. AADL-based Dependability Modelling. In : LAAS report No06209, 2006.
  • 7
    • 85178852858 scopus 로고    scopus 로고
    • Ades, http://www.axlog.fr/aadl/ades_fr.html
  • 8
    • 85178864930 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Object Management Group. Deployment and Configuration Adopted Submission. In: OMG Document ptc/03-07-08 edn. (2003)
  • 11
    • 85178855535 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Object Management Group. QoS4CCM Final Adopted Specification. In: OMG ptc/06-04-12
  • 16
    • 85178856002 scopus 로고    scopus 로고
    • OSATE http://www.aadl.info/
  • 17
    • 85178868417 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • TOPCASED. http://www.topcased.org


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.