Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


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...


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...



AISB event Bulletin Item




              Workshop held in conjunction with ICECCS 2008
              The thirteenth IEEE International Conference on
                  Engineering of Complex Computer Systems
                            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
   How to carry out scheduling analysis from system models


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

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
     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
          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.

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

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)