ArtistDesign NoE

AADL

Bruno Bouyssounouse — 2006-07-05T11:34:48Z

The SAE AADL is an extensible architecture analysis and design language for embedded and real-time systems.

The core language provides a precise semantic specification for modeling task and communication architectures and their mapping onto distributed execution platforms.

What AADL can do

Represent embedded systems as component-based system architecture
Model component interactions as flows, service calls, and shared access
Model task execution and communication with precise timing semantics
Model execution platform and specify application binding
Represent operational modes and fault tolerant configurations
Support component evolution and large-scale development
Accommodate analyses such as reliability &safety- criticality through extensions

What are the benefits

Prediction and validation of runtime characteristics such as availability, timeliness, security;
Validated system architectures and implementations;
Improved development process through single annotated architecture model;
AADL as part of a model-based engineering enterprise solution;
AADL models as deliverables and subcontractor management;
interoperability & integration of commercial and in- house tools.

UML 2.0

Ulrike Woern — 2006-07-04T16:07:00Z

The Unified Modeling Language (UML) is a non-proprietary, object modeling and specification language used in software engineering. UML is a general-purpose modeling language that includes a standardized graphical notation that may be used to create an abstract model of a system, sometimes referred to as the UML model.

UML may be considered as an extensible modeling language since it offers a profile mechanism to customize the language.

If a concept you need is not present in the base language, you may introduce it by defining a stereotype. The semantics of extension by profiles has been improved with the UML 2.0 major revision.

30. Computer Programming

Bruno Bouyssounouse — 2006-07-04T08:02:25Z

Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.

The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and the aspects of industrial practice.

The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including
requirements, specification, design , validation, verification, coding, testing, maintenance, metrics and renovation of software;
design, implementation and evaluation of programming languages;
programming environments, development tools, visualisation and animation;
management of the development process;
human factors in software.
software aspects of operating systems, system administration and network management

See it online!