Modelagem de Sistemas Ciberfísicos com AADL

Software de Aplicação

• Thread: Uma unidade escalonável de execução concorrente.

• Thread Group: Uma unidade composicional para organizar threads.

• Process: Um espaço de endereçamento protegido.

• Data: tipos de dados e dados estáticos no código-fonte.

• Subprogram: Código sequencial executável que pode ser chamado.

Abstração de Sistema (Composto)

Um sistema composto de software, plataforma de execução, ou componentes de sistemas.

Podem representar sistemas complexos de sistemas, como a intregração de software e hardware de uma aplicação dedicada. Por exemplo, um sistema de vôo ou um banco de dados.

Exemplos de Abstração

Exemplo de Diagrama AADL

• Barramentos

  bus USB
  end USB;
  
  bus Ethernet
  end Ethernet;
  

• Processador

  processor SoC
    features
      eth   : requires bus access Ethernet
      usb_1 : provides bus access ;
      usb_2 : provides bus access ;
      hdmi  : provides bus access ;
  end SoC;
  

• Dispositivos

  device Camera
  features
    video_out  : out data port;
    usb_camera : requires bus access;
  end Camera;
  

• Sistema

  system RobotHW
    features
      video_pass : out event data port;
  end RobotHW;
  

• Implementação

  system implementation RobotHW.impl
    subcomponents
    	soc: processor SoC;
    	camera: device Camera;
  
    connections
    	conn1: feature camera.usb_camera -> soc.usb_1;
    	conn2: port camera.video_out -> video_pass;
  end RobotHW.impl;
  

Diagrama Gerado pelo OSATE