Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...
012345

Notice

AISB event Bulletin Item

CFP: UML & AADL2008

http://www.compeng.ulster.ac.uk/events/ecbs2008/workshops.php

    CALL FOR PAPERS :  UML&AADL2008
         http://www.artist-embedded.org/artist/Topics,1199.html

              Workshop held in conjunction with ICECCS 2008
              The thirteenth IEEE International Conference on
                  Engineering of Complex Computer Systems
                          http://www.iceccs.org/
      http://www.compeng.ulster.ac.uk/events/ecbs2008/workshops.php
                            April 02 , 2008
                       Belfast, Northern Ireland

************************************************************************

                    Submission deadline: December 01, 2007
                    --------------------------------------


The first OMG sponsored UML & AADL workshop was held at ENST Paris
(Telecom Paris) in 2006. The workshop was focused on embedded real-time
software-intensive systems that are usually found in the avionic,
vehicular control and aerospace fields.
The workshop clearly had a main concern which was to determine what
architectural levels would be better described with UML as opposed to AADL
and vice versa, how to use these two standardised languages together
(integrating them using an MDA approach, e.g.: TOPCASED).

The second edition of the workshop, UML&AADL2007 was held in
conjunction with the 12th International Conference on Engineering of
Complex Computer Systems (ICECS07). The AADL standard had just been
completed with a behaviour annex proposal and the MARTE UML profile was
about to be accepted. Thus, the main concerns of the second edition of the
workshop were centred around which parts of the MARTE UML profile could be
incorporated into an AADL PSM (Platform Specific Model) without overly
complicating the language, how to maintain the non-functional properties
and aspects of the design throughout the whole software engineering
process and how to specify functional and non-functional properties of
AADL components.

The third edition of the workshop, UML&AADL2008  will again be held
with the ICECCS conference since many concerns are found to be common
and/or complementary. The proposed topics of the workshop are revolve
around the architecture modeling of complex systems. This year, the main
concerns are:
   How to handle code generation from a high-level specification
   How to ensure architecture model verification
   How to model DRE (Distributed Real-time Embedded) systems with an MDA
    approach
   How to carry out scheduling analysis from system models

Topics:
======

New real-time systems have increasingly complex architectures because of
the intricacy of the multiple interdependent features they have to manage.
They must meet new requirements of reusability, interoperability,
flexibility and portability. These new dimensions favour the use of an
architecture description language that offers a global vision of the
system, and which is particularly suitable for handling real-time
characteristics.

Due to the even more increased complexity of distributed, real-time and
embedded systems (DRE), the need for a model-driven approach is more
obvious in this domain than in monolithic RT systems. The purpose of this
workshop is to provide an opportunity to gather researchers and industrial
practitioners to survey existing efforts related to behaviour modelling
and model-based analysis of DRE systems.

This workshop seeks contributions from researchers and practitioners
interested in all aspects of the representation, analysis, and
implementation of DRE system behaviour and/or architecture models. To this
end, we solicit short papers (~6 pages long) as well as full papers (not
more than 20 pages) related to, but not limited to, the following
principal topics:

    Code generation from UML (action language) or an ADL (for instance,
     building a runtime corresponding to what is specified in an ADL
     description, code patterns) towards multiple target languages.
     Presentation of code genaration frameworks, tool suites or
     component-based programming  will be particularly appreciated
    Model verification to verify functional properties against
     constraints
     given in the architecture model
    Verification of non-functional properties given in the architecture
      model against constraints given in the model
    Modelling DRE systems with languages such as UML and/or AADL, ACME,
     Wright, or other ADLs
        o Behaviour modelling (concerns described in the Scope part)
        o How to enhance modelling languages and ADLs to capture real
          time,
          embedded and distributed aspects in a convenient manner
        o How to specify real-time requirements and characteristics in
          modelling languages

Workshop Format
===============
This full-day workshop will consist of an introduction of the topic by the
workshop organizers, presentations of accepted papers, and in depth
discussion of previously identified subjects emerging from the
submissions. A summary of the discussions will be made available.

Submission and Publication
==========================
To contribute, please send a position paper or a technical paper to
agusti[dot]canals[at]c-s[dot]fr with ICECCS08 UML&AADL Workshop in the
title. Papers should not exceed 6 pages. Submitted manuscripts should be
in English and formatted in the style of the IEEE Computer Society
Proceedings Format. Preferably, submissions should be in PDF format.

Workshop proceedings will be distributed to all participants and made
available through the workshop website.

The seven best papers and a workshop overview will
be published in the IEEE Computer Society Press Proceedings.

Additionally, all selected papers will be availables in an IEEE Xplore
Digital Library File Cabinet.

IMPORTANT DATES
===============
Submission deadline:             December 01, 2007
All Notification of acceptance:  December 15, 2007
Workshop date :                  April 02, 2008


Organizers
==========
Agusti Canals (CS, France)
Sbastien Grard (CEA-LIST, France)
Isabelle Perseil (ENST, France)


Programme Committee:
Yamine Ait Ameur (LISI / ENSMA, France)
Jean-Paul Bodeveix (IRIT, France)
Agusti Canals (CS, France)
Mamoun Filali (IRIT, France)
Madeleine Faugre (THALES, France)
Robert France (Colorado State University, USA)
Sbastien Grard (CEA-LIST, France)
Irfan Hamid (ENST, France)
Bruce Lewis (US Army AMCOM)
Dominique Mery (LORIA, France)
Thierry Millan (IRIT, France)
Richard Paige (University of York, United Kingdom)
Douglas C. Schmidt (Vanderbild University, USA)
Franoise Simonot Lion (LORIA, France)
Oleg Sokolsky (University of Pennsylvania, USA)
Jing Sun (University of Auckland, New Zealand)
Martin Trngren (KTH - Royal Institute of Technology, Sweden)
Thomas Vergnaud (CNES, France)
Franois Vernadat (CNRS-LAAS, France)
Sergio Yovine (CNRS-Verimag, France)
Andr Windisch (EADS Military Aircraft, Germany)