Using AADL to Model a Protodol Stack Using AADL to Model a Protodol Stack Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven Katholieke Universiteit Leuven
22
Embed
Using AADL to Model a Protodol Stack Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Using AADL to Model a Protodol StackUsing AADL to Model a Protodol StackDidier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande BerbersDidier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers
• Let’s go back for a moment…• Hardware and software description
• hardware, software and composite components• predefined component categories
• execution platform components
• application software components
• composite components
Processor Memory Device bus
System
Process Subprogram Threadgroup Thread
Data
99
Structural aspectStructural aspect
Ada AADL
package package
hardware + application system
application process
task thread
procedure subprogram
function subprogram
subprogram parameter subprogram parameter
function call subprogram call
type data component
… …
1010
Structural aspectStructural aspect
interface 4Transport layer
interface 3
interface 2
interface 1
entity 1
Network layer
Data link layer
Ethernet layer
• Model layer, socket, queue,… as packages of subprograms
package Transport_Layerpublic -- data types data PDU_Length properties Language_Support::Data_Format=> Positive; end PDU_Length;
data Receive_Fifo properties Language_Support::Data_Format=> Record; end Receive_Fifo; -- …
-- subprograms subprogram Init end Init; subprogram Bind features socket: in parameter Network_Entity; end Bind; -- …end Transport_Layer;
1111
Structural aspectStructural aspect
• No generic software component in AADL• Model protocol types as data components • So how to model…
• a protocol layer• a software cache• a software fifo• a socket• …
1212
Structural aspectStructural aspect
• Packages represent logical grouping of component declarations
• AADL packages and Ada packages are similar• Can we use packages to introduce structure in the
model?
ARP
IP
UDP/ICMP
Ethernet layer
UDP/ICMP-frame
IP-frame
Ethernet-frame
1313
Structural aspectStructural aspect
• Problem: packages are no more than grouped declarations• no representation in model• no semantic requirements that enforce package structure• nested packages not allowed