Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Development of a synchronous subset of AADL

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • المؤلفون: Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve; Filali, Mamoun; Lawall, Julia
  • المصدر:
    Filali , M & Lawall , J 2010 , Development of a synchronous subset of AADL . in M Frappier , U Glässer , S Khurshid , R Laleau & S Reeves (eds) , Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings . Springer , Lecture notes in computer science , vol. 5977 , pp. 245-258 , 2nd International Conference on Abstract State Machines, Alloy, B and Z , Orford , Canada , 22/02/2010 .
  • نوع التسجيلة:
    Electronic Resource
  • الدخول الالكتروني :
    https://researchprofiles.ku.dk/da/publications/development-of-a-synchronous-subset-of-aadl(2afac740-74cd-11df-928f-000ea68e967b).html
    https://doi.org/10.1007/978-3-642-11811-1_19
  • معلومة اضافية
    • Publisher Information:
      Springer 2010
    • نبذة مختصرة :
      We study the definition and the mapping of an AADL subset: the so called synchronous subset. We show that the data port protocol used for delayed and immediate connections between periodic threads can be interpreted in a synchronous way. In this paper, we formalize this interpretation and study the development of its mapping such that the original synchronous semantics is preserved. For that purpose, we use refinements through the Event B method.
      We study the definition and the mapping of an AADL subset: the so called synchronous subset. We show that the data port protocol used for delayed and immediate connections between periodic threads can be interpreted in a synchronous way. In this paper, we formalize this interpretation and study the development of its mapping such that the original synchronous semantics is preserved. For that purpose, we use refinements through the Event B method.
    • الموضوع:
      contributionToPeriodical
    • Availability:
      Open access content. Open access content
      info:eu-repo/semantics/closedAccess
    • Note:
      English
    • Other Numbers:
      DAV oai:pure.atira.dk:publications/2afac740-74cd-11df-928f-000ea68e967b
      urn:ISBN:978-3-642-11810-4
      842757206
    • Contributing Source:
      UNIV OF COPENHAGEN
      From OAIster®, provided by the OCLC Cooperative.
    • الرقم المعرف:
      edsoai.ocn842757206
HoldingsOnline