---
abstract: "This paper compares two model-based tool chains support-\r\ning 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."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - cp@cetic.be
  - rdl@cetic.be
creators_name:
  - family: Ponsard
    given: Christophe
    honourific: ''
    lineage: ''
  - family: De Landtsheer
    given: Renaud
    honourific: ''
    lineage: ''
data_type: ~
date: 2010-06-15
date_type: published
datestamp: 2010-06-28 08:16:12
department: ~
dir: disk0/00/00/02/31
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 231
event_dates: 15 June 2010
event_location: 'Paris, Université Pierre et Marie Curie'
event_title: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/231/1/cetic%2Dhopes%2Dv2.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: inpress
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2010-06-28 08:16:12
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects:
  - DEPLOY
  - SPICES
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 25
series: ~
skill_areas: []
source: ~
status_changed: 2010-06-28 08:16:12
subjects:
  - deploy_industrial_other
  - deploy_method_proof
  - deploy_tooldev_rodinplatform
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: "Comparison of the AADL and Event-B\r\nModel-Based Tool Chains for Designing\r\nEmbedded Systems"
type: conference_item
userid: 34
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>