https://github.com/isurusankhajith/security_system_aadl

This project is fundamentally based on AADL (Architecture Analysis and Design Language) concepts. It provides components with precise semantics to describe system architectures.
https://github.com/isurusankhajith/security_system_aadl

aadl

Last synced: about 22 hours ago
JSON representation

This project is fundamentally based on AADL (Architecture Analysis and Design Language) concepts. It provides components with precise semantics to describe system architectures.

• Host: GitHub
• URL: https://github.com/isurusankhajith/security_system_aadl
• Owner: IsuruSankhajith
• License: mit
• Created: 2023-11-22T09:02:07.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2024-01-14T16:49:27.000Z (about 1 year ago)
• Last Synced: 2024-11-24T20:39:00.580Z (2 months ago)
• Topics: aadl
• Homepage:
• Size: 23.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Security_system_AADL

This project is fundamentally based on AADL (Architecture Analysis and Design Language) concepts. It provides components with precise semantics to describe system architectures.

Architecture Analysis and Design Language (AADL) is a modeling language that focuses on architecture. It's used for safety-critical embedded systems with tightly coupled components. AADL is used for virtual development, integration, and optimization of complex aerospace products. 

AADL has a core language that defines a single notation for both system and software aspects. This single model makes it easier for analysis tools to have a single representation of the system. AADL specifies system-specific characteristics using properties. 

AADL was originally published as SAE AS5506 in 2004. It was refined and extended as AADL V2 and published as AS5506A in 2009. 

AADL provides components with precise semantics to describe computer system architecture. Software components include: Data, Subprogram, Thread, Thread group, Process. 

Hardware components include: Processor, Memory, Bus, Device.