ModelingNon-FunctionalApplicationDomainConstraintsfor Component-BasedRoboticsSoftwareSystems
2016-06-01 09:12:29 0 举报AI智能生成
当然，但是我需要你提供一些具体的信息，比如你想要描述什么？是一个人、一个地方、一个事件还是一个物品？你希望我强调哪些方面？有没有特定的情感或者观点你希望我在描述中包含？这些信息将帮助我为你生成一个更符合你需求的描述。
作者其他创作
大纲/内容
Service robotics
Character
complex
heterogeneous
software intensive
distinct expert roles
the robotics experts
子主题
application experts for various
application domains
What is a successful and efficient system？
The example of model-Based robotics approaches
RTC,RootML,BCM
OMG MARTE,AMALTHEA,AADL,SysML
The opposed freedom-from-choice
The definition
the opposed freedomfrom-choice approach by consciously restricting the
modeling choices to the crucial concepts and abstractions
that are necessary to systematically design and integrate
functional components.
The structure
Meta-model for robotics experts
Meta-model for application domain experts
The strength
clearly define activation semantics
Precise contronl
consciously design on the right abstraction level
A real-world example
The functional requirement
The non-functional requirement
The chain
Data-flow
Cause-effect chain
The execution and interaction behavior
Ecore Meta-Model for component definition and system configuratio
Component-Definition Meta-Model
The component
A Component is to provide clearly specified means of communication between the internal functionality.
The Task
Tasks represent concurrent functionalities inside a Component
thereby clustering (independent) functional aspects,
thus allowing to implement more complex Components
that can provide several (independent) OutPorts
The type of task
PreemptiveTasks
CooperativeTasks
ActivationConstraints
To express strict and unmodifiable constraints
To an internal HW trigger
System Configuration Meta-Model
The purpose
The main concern here is the initialization
of ComponentInstances and the definition of initial Connections
between In- and OutPorts
ActivationConstraints
The DataTrigger
The PeriodicTimer
The Sporadic.
DSL and Model Checks
Component-Definition Model
graphics representation
The Strength
The weakness
System Configuration Model
textual representation
The Strength
The weakness
A example:the FastReactiveNavigationLoop
M2T Code-Generation
The definition
The core of this part
The main concern for code generation is
to preserve model semantics with respect to the designed
execution and communication behaviour
The type
Top-down
Bottom-up
Related work
The comparision
OMG MARTE
AADL
oroGen
The conclusion
The work are all done well
0 条评论
下一页
