AADLib
Library of AADL models
Install / Use
/learn @OpenAADL/AADLibREADME
AADLib - A library of AADL components
About
AADLib is a library of reusable AADLv2 components, associated property sets and validation theorems based on REAL. It has been defined to work properly with Ocarina, AADL-Inspector and OSATE.
Installation
Ocarina
The recommended installation process is through the proper configuration and installation of Ocarina, see Ocarina documentation for details.
OSATE
Simply import the AADLib repository as an AADL project
AADL Inspector
Import the AADLib examples through the GitHub import facility
Q&A
Build status /badge.svg){kind=icon}
Related Skills
node-connect
334.9kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
82.3kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
334.9kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
commit-push-pr
82.3kCommit, push, and open a PR
