Ordinary t-timed modular Petri Nets are used for modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. Each system is first decomposed into production line, assembly, disassembly and parallel machine modules followed by derivation of their modular Petri Net models. Two sets of modules, generic and generalized respectively, are derived correspo...

Rebeca is an actor-based language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for ...

This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and tries to capture only the information...

We report on the formal verification of a triple redundancy sensor voting and monitoring model written in UML using the UML Verification Environment (UVE). The original model as provided by Israel Aircraft Industries, Ltd. (IAI) doesn’t adhere to the UVE modelling guidelines and is large in terms of the number of objects and the amount of concurrency compared to the capabilities of the UVE prot...

This paper describes a hybrid technical-financial procedure for allocating cost in a large data center. It is designed as a modeling tool to permit IIWHAT-IF" analyses for various configurations, levels of costing. etc. The use of modular programming, independent tables, and matrix output allows the modeler maximum flexibility in allocating cost according to changing technical and financial con...

Abstraction and encapsulation are two principles that have been introduced to manage the complexity ofion and encapsulation are two principles that have been introduced to manage the complexity of software systems through modular design. They have manifested themselves in the concept of classes and methods to support data abstraction, in the concept of package to support organization of the des...

Within the realm of software product line engineering, feature modeling is one of the widely used techniques for modeling commonality as well as variability. Feature models incorporate the entire domain application configuration space, and are therefore developed collectively by teams of domain experts. In large scale industrial domains, feature models become too complex both in terms of mainte...

Cognitive modeling is the creation of computer-based processes that mimic human problem-solving and task execution using existing cognitive theories. Cognitive modeling remains a labor-intensive and error prone activity with little theoretical and tool support. In this paper, we propose an approach to capturing specifications for cognitive models in an incremental and modular way. We use patter...

The product design process is a complex set of integrated efforts, including generating ideas, developing concepts, modifying details, and evaluating proper solutions. The difficulties in designing complex products stem not only from their engineering complexity but also from the managerial complexity. First and foremost, what should be done to deal with the complexity problems is to capture al...

This paper describes the modeling language Charon for modular design of interacting hybrid systems. The language allows speci cation of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying composit...