When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design alternatives has to be evaluated. Therefore, there is need for tools which systematically find and analyze the ample identify solutions that satisfy constraints. The recently proposed space exploration (DSE) tool DeSyDe uses constraint programming (CP) implementations with performance guarantees multiple applications potentially constraints shared platform. A key component its throughput...

The tradeoff between analyzability and expressiveness is a key factor when choosing suitable dataflow model of computation (MoC) for designing, modeling, simulating applications considering formal base. A large number techniques analysis tools exist static models, such as synchronous dataflow. However, they cannot express the dynamic behavior required more in signal streaming or to runtime reconfigurable systems. On other hand, models like Kahn process networks sacrifice expressiveness....

System level optimization for multiple mixed-criticality applications on shared networked multiprocessor platforms is extremely challenging. Substantial complexity arises from the interdependence between subproblems of mapping, scheduling and platform configuration under consideration several, potentially orthogonal, performance metrics constraints. Instead using heuristic algorithms problem decomposition, novel unified design space exploration (DSE) approaches based Constraint Programming...

Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects such as composition, timing, synchronization and behavior. Several formal models exist for description analysis of these aspects, but they focus mainly on a single or only few system properties. We propose composable framework which tackles concerns in isolation, while capturing interaction between them layered model. This yields holistic, fine-grained, hierarchical structured view system....

Hydropower plants exploitation optimization is a subject of interest everywhere. By optimizing the hydropower we refer to use water resources so that power production maximized, respecting, at same time, constraints imposed by consumer from geographical region. The software system can successfully be used for these kind goals. In this paper present SCADA designed and developed in order optimize daily hydro cascade. application funded Romanian Ministry Education Research, frame MENER program

With the ever increasing complexity in safety-critical and performance-demanding application domains such as automotive avionics, costs of designing, producing especially testing systems does not scale well for next generation applications. One example is active electronically scanned array (AESA) antenna signal processing chain, which currently out-of-reach from consumer products but rather part a few exclusive hi-tech appliances. To cope with associated systems, we propose design flow...

Recent trends in replacing traditionally digital components with analog counterparts order to overcome physical limitations have led an increasing need for rigorous modeling and simulation of hybrid systems. Combining the two domains under same set semantics is not straightforward often leads chaotic non-deterministic behavior due lack a common understanding aspects concerning time. We propose algebra primitive interactions between continuous discrete systems which enables their description...

Advancements on analog integrated design have led to new possibilities for complex systems combining both continuous and discrete time modules a signal processing chain. However, this also increases the complexity any flow needs address in order describe synergy between two domains, as interactions them should be better understood. We believe that common language describing computations is beneficial such goal step towards it gain insight more fundamental building blocks. In work we present...

With new functional applications emerging in the digital printing industry, need for quantitative knowledge of reliability drop-on-demand inkjet printheads increases. Continuous ink circulation using TF Technology™ and resulting channel self-recovery is one technologies which decrease down-time a single nozzle, but turn increase difficulty an accurate test. Current measuring techniques, namely a-posteriori verification printouts on paper proved to be inappropriate.This proposes novel...

We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of complex cyber-physical systems. This provides set rules combining several domain-specific languages structured, enclosing layers to orthogonalize the many aspects system behavior, yet study their interaction in tandem . define four layers: one capturing timed interactions heterogeneous systems, structured parallelism, modeling uncertainty, and describing component properties. enables systematic...

Embedded systems are ubiquitous and control many critical functions in society. A fairly new type of embedded system has emerged with the advent partial reconfiguration, i.e. runtime reconfigurable systems. They attracting interest different applications. Such a is capable reconfiguring itself at hardware level without need to halt application's execution. While modeling implementing these far from trivial task, there currently lack systematic approaches tackle this issue. In other words, no...

Rapid environmental changes as well potential risks for the human health call water quality continuous surveillance and on-line decision making. Information communication technologies can be valuable in these areas. In this paper we present an intelligent system assessment. Some models used pollutants propagation, architecture, functional description, distributed acquisition subsystems are presented. The main concepts integration of diverse information resources through wide area networking...

The shift towards parallel computing witnessed since the turn of this century has forced us to rethink traditional software design paradigms better utilize resources. Yet, simulation time-aware systems remains a challenging topic due inherent semantics time and causality whose consistency needs be controlled, traditionally in form global event queue, limiting potential for exploitation. We propose rehash problem by tackling it from different modeling perspective, one which is able express...