creators_name: Ponsard, Christophe creators_name: De Landtsheer, Renaud creators_id: cp@cetic.be creators_id: rdl@cetic.be type: conference_item datestamp: 2010-06-28 08:16:12 lastmod: 2010-06-28 08:16:12 metadata_visibility: show title: Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems ispublished: inpress subjects: deploy_industrial_other subjects: deploy_method_proof subjects: deploy_tooldev_rodinplatform full_text_status: public pres_type: paper abstract: This paper compares two model-based tool chains support- ing the design of embedded systems. The first one relies on an architecture description language called AADL (Architecture Analysis and Design Language) specially targeting embedded system. The second one is based on a generic notation for system modelling called Event-B which is being deployed in the design of embedded systems, e.g. in the transportation sector. A number of tools supporting similar activities arehighlighted as well as the impact of the characteristics of the respective underlying languages on the global design activity. date: 2010-06-15 date_type: published event_title: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems event_location: Paris, Université Pierre et Marie Curie event_dates: 15 June 2010 event_type: workshop refereed: TRUE citation: Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press) document_url: http://deploy-eprints.ecs.soton.ac.uk/231/1/cetic-hopes-v2.pdf