seescoa

1
seescoa
S E E S C O A
12 december 02
2
Mijn idee

• WEL
• Context en doel schetsen van het project
• Summary geven van de expertise die we opbouwden
• Onszelf in de vitrine zetten voor verdere
  projecten
• NIET
• Tools en technolgieen die we ontwikkelden
  proberen te slijten als unieke en zaligmakende
  oplossingen
• DUS
• Presentaties die vooral overzicht geven van
  ongoing research met natuurlijk fragmenten van
  resultaten liefst figuren of screen shots

3
Uitgangspunten en doel

• State of the art ontwikkelingen in
  softwareengineering en softwaretechnologie
  bekijken in de context van embedded software
• Geintegreerde ontwikkelingsmethodologieen
• Modellen
• Syncronisatie van modellen
• (Skeleton) code generatie
• Evolutie en maintenance
• Component Based Ontwikkelen
• Componentmodellen
• Component compositie technieken
• Componentsystemen
• Methoden en technologie voor UI ontwikkeling

4
Eerste ronde

• Bedrijfsbezoeken
• hdfgfjerh
• Conclusies
• Zeer grote diversiteit in systemen en
  benaderingen
• De uniforme Vlaamse markt bestaat niet
• Focus
• Reactieve, middelgrote systemen
• Componenttechnologie bovenop JAVA

5
Topics en Werkplan

• Component modeling
• Component system
• Testing
• User Interfaces
• Common test case

6
Component Modeling

• Classic Box-Port Model Wiring
• MSCs for Syncronisation Specification
• Contracts for Modelling Non Functional
  Requirements
• Composer Tool(s)
• Static Dynamic Verification of Contracts
• Evolution and Maintenance

7

• Hier nu eerst slides van leuven over de eerste 4
  topics met erfgens halve slide met onze inbreng
  Pacosuite (n-ary connectors - mapping van APIs)

8
Static Verification of Contracts

• Static checking of timing constraints
• Deadline and periodic constraints
• Extension to Pacosuite MSC editor
• Implementation of Floyd-Warshall algorithm for
  checking consistency of timed MSCs
• Local checking consistency of a single MSC
• Incremental checking consistency of the set of
  MSCs used while composing an application

9
Dynamic Verification of Contracts

• Extend the Component System
• Iets over de leuven benadering ivm monitoring
• hfgdjfg
• Exploit power of Aspect Oriented Programming
• Extension of PacoSuite with component adaptors
• Automatic generation of monitoring code
• On component interaction by changing the glue
  code
• On component interaction by changing the Java
  bytecode

10
Evolution and Version Control

• Hot swapping
• Het werk van Leuven ivm evolutie
• hfgjg
• Software Libraries for Components
• Different views on components (functionality,
  deployment platform, quality of service, etc) in
  a multi-dimensional approach (extension of the
  faceted classification)
• Connectors between components and Component-based
  systems also described and managed by the
  component library.
• Concepts of version and configuration management
  reviewed for component-based development items,
  versioned items, deltas, revisions, variants,
  etc.