For programming controllers in industrial automation systems languages based on IEC 61131 represent the state-of-the-art. However, these languages have limited capabilities for describing multi-disciplinary aspects. M...
详细信息
For programming controllers in industrial automation systems languages based on IEC 61131 represent the state-of-the-art. However, these languages have limited capabilities for describing multi-disciplinary aspects. model-based approaches that have successfully been applied to software engineering projects also provide a promising alternative for the engineering of automated manufacturing systems. The integration of model-based approaches into conventional control architectures still represents a challenge. Using a handling system for unloading parts from a pallet as an example this paper demonstrates and evaluates a practical approach for developing control logic based on a SysML model. The approach consists of three steps: First, the behavior of the system components (e.g. grippers, axes) are described in an interdisciplinary way, representing the internal state as well as an IEC 61131 compliant signaling interface. The second step is to develop agents that implement the actual logic and are able to control the virtual components using the implemented interface. In the last step, during commissioning of the real system, the virtual components are replaced by a module syncing the signals of the virtual agents interface with a PLC providing the same interface for the real system, effectively having the real system now being controlled by virtual agents.
This paper analysis approaches and possibilities of executive model aimed to MDA approach. The second part of the article proposes guideline to create executive model and describes basic interactions to object oriente...
详细信息
This paper analysis approaches and possibilities of executive model aimed to MDA approach. The second part of the article proposes guideline to create executive model and describes basic interactions to object oriented approach. Annotations have been used for executive model object extension. Reflection concept has been used for model execution. Proposed model supports new type of extended object with enhanced metadata model as well as regular objects with no additional metadata description. According to use object with no additional description the model supports third-part components and supports reusability. The model will be applied to LFLC package developed by Institute for Research and Applications of Fuzzy modeling, University of Ostrava. (C) 2010 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of the Guest Editor.
This paper analysis approaches and possibilities of executive model aimed to MDA approach. The second part of the article proposes guideline to create executive model and describes basic interactions to object oriente...
详细信息
This paper analysis approaches and possibilities of executive model aimed to MDA approach. The second part of the article proposes guideline to create executive model and describes basic interactions to object oriented approach. Annotations have been used for executive model object extension. Reflection concept has been used for model execution. Proposed model supports new type of extended object with enhanced metadata model as well as regular objects with no additional metadata description. According to use object with no additional description the model supports third-part components and supports reusability. The model will be applied to LFLC package developed by Institute for Research and Applications of Fuzzy modeling, University of Ostrava.
The quality of software architecture has a great influence on achieving non-functional requirements to the software *** this paper,we propose an approach based on Petri nets models for reliability prediction of softwa...
详细信息
The quality of software architecture has a great influence on achieving non-functional requirements to the software *** this paper,we propose an approach based on Petri nets models for reliability prediction of software systems at the software architecture level,specified by *** lacks a formal semantics and hence it is not possible to apply,directly,mathematical techniques on UML models for reliability *** reach this goal we propose an automatic translation of UML Diagrams into Petri *** this paper we study the use of Sequence Diagrams for the reliability evaluation of software *** from annotated UML sequence diagrams we derive a reliability models based on Petri *** UML model is annotated according to the UML profile for Quality of Service and Fault *** proposed algorithm translates the annotated UML specification into Petri net reliability models,which can then be analyzed using standard *** results are feedback at the software architecture level in the UML diagrams.
With the growing use of UML diagrams for software design description and the importance of nonfunctional requirements evaluation at software development process, transforming these diagrams to executable models is con...
详细信息
ISBN:
(纸本)9781424442461
With the growing use of UML diagrams for software design description and the importance of nonfunctional requirements evaluation at software development process, transforming these diagrams to executable models is considered to be significant. Nonfunctional requirements can not be evaluated directly by UML diagrams. Software designers are not usually familiar with non-functional requirement analysis and are not able to analyze such requirements easily. Therefore the designer should produce an executable model from software design description to be ready for analysis. usecase and sequence diagrams are the most important UML diagrams for software design description. In this paper, we propose new algorithms that enable a designer to transform usecase and sequence diagrams into executable models based on Petri nets and then we show how to use this Petri net models for simulation. Finally, to represent the usage of our proposed algorithms, we consider a case study as an example.
With the growing use of UML diagrams for software description and the importance of non-functional requirements evaluation at software design level, transforming these diagrams to executable models is considered to be...
详细信息
ISBN:
(纸本)9780769539256
With the growing use of UML diagrams for software description and the importance of non-functional requirements evaluation at software design level, transforming these diagrams to executable models is considered to be significant. In this paper the designer should annotate additional information of the performance to software design description, and then an executable model can be produced. These executable models can be Petri nets, queuing network, stochastic process algebras, etc. In this paper, we propose a new algorithm that enables a designer to transform a use case and sequence diagrams enriched by performance input parameters into an executable model based on different extensions of Petri Nets. Finally, to demonstrate the application of our proposed algorithm, we consider a case study as an example.
Architecture validation plays an important role in military command and control system design. The paper applies some kinds of views of UML (Unified modeling Language) to describe the relative C4ISR (Command, Control,...
详细信息
ISBN:
(纸本)9781424420957
Architecture validation plays an important role in military command and control system design. The paper applies some kinds of views of UML (Unified modeling Language) to describe the relative C4ISR (Command, Control, Communication, Computer, Intelligence, Surveillance and Reconnaissance) architecture products. Considering the relationship among the products, the architecture products modeling in UML diagram is transformed to the executable OPN (Object-based Petri Nets) models based on the transformation rules. It shows the process of OPN mechanisms application for the C4ISR system design validation. Finally, the paper gives one system validation example in the air defense system using the proposed validation method. Through analyzing model execution process and result, the performance of C4ISR system can be tested.
An important issue in architecture design of integrated systems is dynamic performance and effectiveness evaluation. The SysML system design according with Department of Defense Architecture Framework (DoDAF), the exe...
详细信息
An important issue in architecture design of integrated systems is dynamic performance and effectiveness evaluation. The SysML system design according with Department of Defense Architecture Framework (DoDAF), the executable model of the design scheme and the evaluation of the dynamic performance and effectiveness of the designed system are discussed. With a case study, the general steps, the transfer method for developing executable models and the measurement and evaluation methods for the issue are addressed.
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biological concepts and events and describe ...
详细信息
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biological concepts and events and describe the use of the new search and model checking capabilities of Maude 2.0 to analyze the modeled network. We also discuss the use of Maude's reflective capability for meta modeling and analyzing the models themselves. The idea of symbolic biological experiments opens up an exciting new world of challenging applications for formal methods in general and for rewriting logic based formalisms in particular.
暂无评论