Publication | Closed Access
Generating execution infrastructures for component-oriented specifications with a model driven toolchain
20
Citations
7
References
2009
Year
Unknown Venue
Software MaintenanceEngineeringObject-oriented ModelingComputer ArchitectureSoftware EngineeringModel Driven ToolchainEmbedded SystemsSoftware AnalysisFormal VerificationModel-driven EngineeringModel Driven ArchitectureSystems EngineeringModel-based Software DevelopmentModeling And SimulationFormal SpecificationComponent-based Software EngineeringComputer EngineeringGeneric Component ModelUml Profile MarteUml DesignSoftware DesignExecution InfrastructuresSpecification LanguageModel-based System EngineeringComponent-oriented SpecificationsProgram AnalysisSoftware TestingFormal MethodsReal-time SystemsIndustrial InformaticsSystem SoftwareSystem Specification
The development of embedded Systems becomes more and more complex. Model driven engineering can help to manage this complexity by specifying real-time properties in a declarative way and automating the deployment. The UML profile MARTE is a OMG standard that allows to model real-time properties. However, there is no execution infrastructure that supports MARTE's generic component model (GCM) and the application modeling (HLAM).
| Year | Citations | |
|---|---|---|
Page 1
Page 1