We address explicitly the issue of risk in the theory of the firm. To that end, we present a model in which the shareholders’ portfolio selection of assets and the decisions of the firm are jointly determined through the market process. The model allows to study the role of markets and prices on the type of risky activities undertaken by a firm and the allocation of random profit among sharehol...

Time management is one of the critical modules of safety-critical systems. Applications need strong assurance from the operating system that their hard real-time requirements are met. Partitioned system has recently evolved as a means to provide protection to safety critical applications running on an Avionics computer resource. Each partition has an application running strictly for a specified...

Current applications are distributed in nature and manipulate time-critical databases with firm-deadline transactions. To guarantee performance and availability of such applications fault-tolerant mechanisms need to be developed. In the context of time critical applications, this also leads to providing means to ensure that as many as possible real-time transactions satisfy their deadline in th...

Real-time systems not only require the semantical correctness of their operations but also the availability of the computational results within some predefined time intervals. Typical applications are composed of processes which are responsible to execute time-bound computations. Depending on the application specific context processes have to complete due to time constraints. Most frequently ar...

The Unified Modeling Language (UML) is commonly used in the development of non-real-time systems and is gaining popularity in the object-oriented real-time community as well. Recently, Rational Software Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time (UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate concepts from ROOM (Real-time Object-Oriented Modelin...

This short paper presents the design, implementation, and initial results of a tool that extracts from UML models the schedulability analysis data that are necessary for the application of the MAST set of tools on them. The input analysis models represent concurrent, distributed real-time systems that are formalized in UML annotated with the extensions proposed by the UML Profile for MARTE; the...

This paper includes a simulation model built in order to predict the performance indicessuch aswaiting time by analyzing queue’s components in the real world under uncertain and subjective situation. The objective of this paper is to predict the waiting time of each customer in an M/M/C queuing model. In this regard, to enable decision makers to obtain useful results with enough knowledge on th...