共查询到10条相似文献,搜索用时 156 毫秒
1.
Kirsten Berkenkötter Stefan Bisanz Ulrich Hannemann Jan Peleska 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(2):167-176
In this article, a new UML extension for the specification of hybrid systems, where observables may consist of both discrete
and time-continuous parameters, is presented. Whereas hybrid modeling constructs are not available in standard UML, several
specification formalisms for this type of system have been elaborated and discussed, among them the CHARON language of Alur
et al. which possesses already several attractive features for modeling embedded real-time systems with hybrid characteristics.
Adopting this as a basis, the profile inherits formal semantics based on CHARON, so it offers the possibility for formal reasoning
about hybrid UML specifications. Conversely, the CHARON framework is associated with a new syntactic representation within
the UML 2.0 world, allowing to develop hybrid specifications with arbitrary CASE tools supporting UML 2.0 and its profiling
mechanism. The “look-and-feel” of the profile is illustrated by means of a case study of an embedded system controlling the
cabin illumination in an aircraft. The benefits and weaknesses of the constructed hybrid UML profile are discussed, resulting
in feed-back for the improvement of both UML 2.0 and the CHARON formalism.
The work presented in this article has been investigated by the authors in the context of the HYBRIS (Efficient Specification
of Hybrid Systems) project supported by the Deutsche Forschungsgemeinschaft DFG as part of the priority programme on Software Specification - Integration of Software Specification Techniques for Applications in Engineering. 相似文献
2.
3.
A reconfiguration pattern for distributed embedded systems 总被引:1,自引:0,他引:1
4.
Luqi Berzins V. Yeh R. 《IEEE transactions on pattern analysis and machine intelligence》1988,14(10):1409-1423
PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g. Ada) 相似文献
5.
Juliana Küster-Filipe Stuart Anderson 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(2):156-166
It is increasingly recognised that non-functional requirements should be considered at the earliest stages of system development.
Unified modelling language (UML), as a standard, should therefore include notation to capture such requirements. Among these,
timing has received considerable attention by the modelling community with several timed extensions of UML diagrams, a UML
profile and tools. However, timing constraints are, generally, not captured in a satisfactory way during design. We propose
to use UML's object constraint language (OCL) for this purpose, and provide a simple time enriched liveness template for OCL. We describe the benefits of using this template.
Having verification in mind, several logic-based formalisms could be chosen to underly OCL. We consider a novel real-time
logic of knowledge, and argue why logics of knowledge are useful and promising in this context. We illustrate our approach
with a distributed real-time system. Future work and further benefits of the knowledge-based framework are discussed at the
end of the paper.
Work reported here was supported by the EPSRC grants GR/R16891 and GR/N13999. 相似文献
6.
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata 下载免费PDF全文
UML is a widely-used,general purpose modeling language.But its lack of a rigorous semantics forbids the thorough analysis of designed solution,and thus precludes the discovery of significant problems at design time.To bridge the gap,the paper investigates the underlying semantics of UML state machine diagrams,along with the time-related modeling elements of MARTE,the profile for modeling and analysis of real-time embedded systems,and proposes a formal operational semantics based on extended hierarchical timed automata.The approach is exemplified on a simple example taken from the automotive domain.Verification is accomplished by translating designed models into the input language of the UPPAAL model checker. 相似文献
7.
Frédéric Mallet 《Innovations in Systems and Software Engineering》2008,4(3):309-314
The Object Management Group (OMG) unified modeling language (UML) profile for modeling and analysis of real-time and embedded
systems (MARTE) aims at using the general-purpose modeling language UML in the domain of real-time and embedded (RTE) systems.
To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which
MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has defined such
a structure. We have also defined a non-normative concrete syntax called the clock constraint specification language (CCSL)
to demonstrate what can be done based on this structure. This paper gives a brief overview of this syntax and its formal semantics,
and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics. 相似文献
8.
于海雯 《数字社区&智能家居》2009,5(12):9742-9743
UML是当今最流行的标准建模语言,嵌入式系统是以应用为中心、以计算机技术为基础的专用计算机系统,是软件和硬件的综合体;而嵌入式系统设计的好坏是数字商品成功荫关键。本文重点讨论UML建模中重要的概念,以及如何在嵌入式系统设计中使用UML OOD建模技术,并结合实例“微波炉小灯”演示采用UML的嵌入式系统设计过程。 相似文献
9.
随着集成电路制造工艺的发展,嵌入式计算机应用向着SoC的方向发展。为了适应制造工艺对SoC设计能力的要求,提高SoC的设计效率,成为了很紧迫的必要任务。采用统一的SoC系统级建模语言SystemC、软/硬件协同设计技术、基于IP核复用等技术的SoC设计流程,在一定程度上满足了SoC设计要求。在现有SoC设计流程基础上,结合UML的模型驱动框架(MDA)设计方法,在当前的SoC设计流程的系统需求规约描述、硬件实时反应式系统建模、软件模块设计实现中采用UML针对SoC的轻量型扩展特性,可以很大程度地改进提高SoC的设计流程效率。 相似文献
10.
The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification~PEARL, which has its origins in standard Multiprocessor~PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background. It is meant to be a superlayer for programs, based on the PEARL programming model. To model program tasks, Timed State Transition Diagrams have been defined. The model of a co-designed system is verified for feasibility with co-simulation. The resulting information should be used when considering changes in a current design with the goal of producing a temporally feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since UML is becoming a de facto standard also for designing embedded control systems, and since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface of the methodology to UML 2 is defined, using UML's extension mechanisms. 相似文献