AADL-Modelling of Plug&Play Weapon System Architecture A. Windisch and H. Schlatt

advertisement
Military Aircraft
AADL-Modelling of Plug&Play Weapon
System Architecture
A. Windisch and H. Schlatt
EADS Military Aircraft, Systems Engineering
AADL Workshop 2005
Military Aircraft
Contents
• Introduction
• Notational Issues and Modelling Approach
• The PnP System Architecture
• Open Modelling Issues
• Conclusion
Page 2
AADL Workshop, Paris, October 2005
Military Aircraft
Introduction – Aircraft/Store
Aircraft
ASI
MSI
Mission
Store
Page 3
AADL Workshop, Paris, October 2005
Military Aircraft
Introduction – Aircraft/Carriage Store/Store
Aircraft
ASI
CSI
Carriage
Store
CSSI
CSSI
MSI
Mission
Store
MSCI
MMSI
Miniature Mission Stores
Page 4
AADL Workshop, Paris, October 2005
Military Aircraft
Introduction – Reference Architecture
Page 5
AADL Workshop, Paris, October 2005
Military Aircraft
Contents
• Introduction
• Graphical Notation and Modelling Approach
• The PnP System Architecture
• Open Modelling Issues
• Conclusion
Page 6
AADL Workshop, Paris, October 2005
Military Aircraft
Data
Device
Thread
Memory
Process
Processor
Software
Software
Platform
Platform
System
Composite
Composite
Page 7
AADL Workshop, Paris, October 2005
Bus
Graphical Notation - Components
Military Aircraft
Graphical Notation - Features
Data Port
Immediate
Event Port
Event Data Port
Delayed
Ports
Ports
Client / Server
client
<name>
Subprograms
Subprograms
Page 8
Connections
Connections
AADL Workshop, Paris, October 2005
server
Military Aircraft
Modelling Approach
• The PnP technical architecture defines several
protocol layers which provide the means for
network transparent control and communication
between the aircraft and the weapon systems
• A concise system model should reflect this generic
hierarchical layered communication infrastructure
and not put any constraints on the actual physical
architecture of the aircraft/weapon system
• Modelling approach suggested in this presentation
is based on abstract buses (protocols) and abstract
processors (virtual machines) which are currently
developed as part of the AADL
Page 9
AADL Workshop, Paris, October 2005
Military Aircraft
Contents
• Introduction
• Graphical Notation and Modelling Approach
• The PnP System Architecture
• Open Modelling Issues
• Conclusion
Page 10
AADL Workshop, Paris, October 2005
Military Aircraft
Physical Architecture
A/C Platform
Avionics Bus (e.g. 1553)
Comms IF
Computer
Mission
Computer
Store Mgmt
System
Store #1
(Weapon)
Air Data Link (e.g. Link16)
• Dynamic connectivity, i.e. air data link used for communication
with weapon after release
• Can be modelled in terms of modes (omitted in graphics)
Page 11
AADL Workshop, Paris, October 2005
Military Aircraft
Physical Architecture (cont’d)
A/C Platform
Avionics Bus (e.g. 1553)
Comms IF
Computer
Mission
Computer
Store Mgmt
System
Carriage
Store
Store Bus
Store #1
(Weapon)
Air Data Link (e.g. Link16)
Page 12
AADL Workshop, Paris, October 2005
Store #n
(Weapon)
Military Aircraft
Functional Architecture
A/C Functions
SDFile
SMS
Process
Mission
Process
Store
Process
Store Control Protocol <abstract>
Store
StoreControl
ControlAPI
API
Initialise
Initialise
Transfer
TransferData
Data
Release
Release
…
…
Page 13
• Communication between system functions
is based on abstract store control protocol
which provides API
AADL Workshop, Paris, October 2005
Military Aircraft
Store Control Protocol
Store Control Protocol <abstract>
refined to
Store Control Protocol <refined>
Store
Control
FSM
Store
Control
FSM
Store Communication Protocol <abstract>
Store
StoreCommunication
CommunicationAPI
API
Page 14
AADL Workshop, Paris, October 2005
Store
Control
FSM
Military Aircraft
Store Communication Protocol
Store Communication Protocol <abstract>
refined to
Store Communication Protocol <pre-lauch>
Store
Comms
FSM
Store
Comms
FSM
Store
Comms
FSM
LL Store Comms Protocol <1553>
Page 15
AADL Workshop, Paris, October 2005
Store
Comms
FSM
Military Aircraft
Store Communication Protocol (cont’d)
Store Communication Protocol <abstract>
refined to
Store Communication Protocol <post-launch>
Store
Comms
FSM2
Store
Comms
FSM2
LL Store Comms Protocol <link16>
Page 16
AADL Workshop, Paris, October 2005
Military Aircraft
Abstract Physical Architecture
A/C Platform
LL
LLStore
StoreComms
CommsAPI
API(2)
(2)
Messages
via
air
data
link.
Messages via air data link.
Avionics Bus
Comms IF
Computer
Mission
Computer
LL
LLStore
StoreComms
CommsAPI
API(1)
(1)
Messages
via
avionics
bus.
Messages via avionics bus.
Store Mgmt
System
Carriage
Store
Store Bus
Abstract
AbstractProcessors
Processors
Communication
Communicationservices
servicesare
are
provided
as
subprogram
provided as subprogram
features
features
Store #1
(Weapon)
Store #n
(Weapon)
Message
MessageRouter
Router
Transparent
Transparentrouting
routingof
ofall
all
Air Data Link store
communication
store communication
messages
messagesbetween
between
avionics
&
weapon
avionics & weaponbus
bus
Page 17
AADL Workshop, Paris, October 2005
Military Aircraft
A/C Functions
PnP
Systems Architecture
SDFile
Store Control
Protocol
Store Comms
Protocol
Router
Store Communication
Protocol
Avionics Bus (e.g. 1553)
Comms IF
Computer
Mission
Computer
Store Mgmt
System
Carriage
Store
Store Bus
Store #1
(Weapon)
Air Data Link (e.g. Link16)
Page 18
AADL Workshop, Paris, October 2005
Store #n
(Weapon)
Military Aircraft
Contents
• Introduction
• Graphical Notation and Modelling Approach
• The PnP System Architecture
• Open Modelling Issues
• Conclusion
Page 19
AADL Workshop, Paris, October 2005
Military Aircraft
Open Modelling Issues
• I01: The hierarchical refinement of protocols into
systems requires a generic specification of
protocol layers which is unfolded at instantiation
time (e.g. see VHDL generics)
• I02: The system boundaries of the presented
model show the layered architecture of the
distributed system, however, an “integration”
perspective might be desirable where the system
boundaries reflect the borders of the physical
systems
• I03: The graphical representation of binding
between layers requires an huge amount of
arrows. This could be reduced by means of a
deployment view.
Page 20
AADL Workshop, Paris, October 2005
Military Aircraft
Open Modelling Issues – Integration Perspective
SDFile
Avionics Bus (e.g. 1553)
Comms IF
Computer
Mission
Computer
Store Mgmt
System
Carriage
Store
Store Bus
Store #1
(Weapon)
Store #n
(Weapon)
Air Data Link (e.g. Link16)
Aircraft
Page 21
AADL Workshop, Paris, October 2005
Store System
Syntactically
Syntactically
incorrect
incorrectAADL
AADL
specification
specification!!
Potentially
a tool issue
rather than
a language
aspect
Military Aircraft
Contents
• Introduction
• Graphical Notation and Modelling Approach
• The PnP System Architecture
• Open Modelling Issues
• Conclusion
Page 22
AADL Workshop, Paris, October 2005
Military Aircraft
Conclusion
• This presentation showed a first approach of a
PnP system architecture which focuses on the
layered approach taken by the PnP technical
architecture
• Modelling was based on the notion of abstract
buses (protocols) and abstract processors (virtual
machines)
• The approach allows for the explicit specification
of all network transparent APIs, i.e. the store
control API and the store communication API
Page 23
AADL Workshop, Paris, October 2005
Download