Topic: aadl Goto Github
Some thing interesting about aadl
Some thing interesting about aadl
aadl,NLP and Compiler Construction for the task of converting English language specifications to AADL Model
User: anshumaan-chauhan02
aadl,Continuation of NaturalLanguage-To-AADL project. Incorporated more features to make the conversion more robust
User: anshumaan-chauhan02
aadl,Integration Property Language
User: bisc
aadl,We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation process in two steps : the first is aModel2Model transformation which takes an AADLModel and produces the corresponding timed automata model. The second transformation is a Model2Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. The goal of this effort is to insure some properties of AADL models using the Uppaal model checker. A case study has been developed to show the feasibility and validity of the proposed approach.
User: drhamdane
aadl,This repository hosts the source code and documentation for an architectural project implemented using the Architecture Analysis and Design Language (AADL). AADL is a modeling language used for the analysis, specification, and implementation of real-time embedded systems.
User: isurusankhajith
aadl,This project is fundamentally based on AADL (Architecture Analysis and Design Language) concepts. It provides components with precise semantics to describe system architectures.
User: isurusankhajith
aadl,Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
User: juli1
aadl,The implementation of a drinks vending machine in AADL modeling language
User: kbarszczak
aadl,Build script (and more) for Ocarina
Organization: openaadl
aadl,PolyORB-HI/Ada runtime for Ocarina
Organization: openaadl
Home Page: http://www.openaadl.org
aadl,PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
Organization: openaadl
Home Page: http://www.openaadl.org
aadl,This Eclipse plug-in simplifies the extension of AADL models with AGREE constraints through the use of an error-reducing UI. This project was created for CSCI 445: Software Projects Capstone.
User: rileyabr
aadl,AADL3 Inscription Helper is an app that aims to automate the registration process of the AADL3 housing program by the Algerian Government.
User: sidchouaib
aadl,Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
Organization: sireum
Home Page: http://awas.sireum.org/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.