FDL Research Papers - Academia.edu (original) (raw)

From high-level modelling of time in MARTE to realtime

1 INRIA Lille Nord Europe-LIFL-USTL-CNRS, 40 Avenue Halley, 59650 Villeneuve d'Ascq, France 2 LAMIH, University of Valenciennes, Le Mont Houy, 59313 Valenciennes, France 3 LIP2 Laboratory, Faculty of Science of Tunis, 2092 Manar 2... more

1 INRIA Lille Nord Europe-LIFL-USTL-CNRS, 40 Avenue Halley, 59650 Villeneuve d'Ascq, France 2 LAMIH, University of Valenciennes, Le Mont Houy, 59313 Valenciennes, France 3 LIP2 Laboratory, Faculty of Science of Tunis, 2092 Manar 2 Tunis, Tunisia 4 Institut National ...

Cyber-physical systems combine a cyber side (computing and networking) with a physical side (mechanical, electrical, and chemical processes). In many cases, the cyber component controls the physical side using sensors and actuators that... more

Cyber-physical systems combine a cyber side (computing and networking) with a physical side (mechanical, electrical, and chemical processes). In many cases, the cyber component controls the physical side using sensors and actuators that observe the physical system and actuate the controls. Such systems present the biggest challenges as well as the biggest opportunities in several large industries, including electronics, energy, automotive, defense and aerospace, telecommunications, instrumentation, industrial automation. Engineers today do successfully design cyber-physical systems in a variety of industries. Unfortunately, the development of systems is costly, and development schedules are difficult to stick to. The complexity of cyber-physical systems, and particularly the increased performance that is offered from interconnecting what in the past have been separate systems, increases the design and verification challenges. As the complexity of these systems increases, our inabili...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad,... more

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data are provided by a dedicated software called the driver.... more

In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data are provided by a dedicated software called the driver. Consequently, it is necessary to ...

Bridging the different abstraction layers stemming from heterogeneous tools used in hardware software co-design for creating, maintaining and refining various system models form often a bottleneck in the overall design process. The... more

Bridging the different abstraction layers stemming from heterogeneous tools used in hardware software co-design for creating, maintaining and refining various system models form often a bottleneck in the overall design process. The missing test link between the specification level and the first refinement steps reveals the need for an environment that will enable the effective communication among the corresponding tools. This will also enable IP components to be reused early enough in the development cycle, even if their abstraction ...

It is quite possible that in a process set, process may be having earliest deadline but its performance contribution is low in process set. Scheduling such processes with highest priority does not carry any meaning. Majority of today’s... more

It is quite possible that in a process set, process may be having earliest deadline but its performance contribution is low in process set. Scheduling such processes with highest priority does not carry any meaning. Majority of today’s commercial operating system schedule task based on a single parameter however recent research on flexible scheduling showed that a single parameter is not enough to expressall the application requirement .In order to provide effective support to QoS management ,an algorithm for offline scheduling of communicating tasks with precedence constraints suggested on uniprocessor Since in real time system processes are communicating to each other, if any message is failed then performance of executing successor process is reduced up to some extent .Contribution of each process in process network can be evaluated offline using multistate system (MSS) analysis. This paper suggests the policy to convert task precedence and communication constraints into pseudo d...

Abstract: Part of the META II project. IBM is developing a cyber-physical modeling language with associated tool-chains demos. Language divides into three parts-Models Of Computation integration, Contracts and Variability Modeling... more

Abstract: Part of the META II project. IBM is developing a cyber-physical modeling language with associated tool-chains demos. Language divides into three parts-Models Of Computation integration, Contracts and Variability Modeling package. All language constructs are given precise semantics to allow formal systems definition, reasoning and wide range of analyses, including hybrid (cyber-physical) simulation and formal verification. The work is being done with the assistance of Alberto Sangiovanni Vincentelli (UC ...

In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatible with geometric layout formats, such as GDSII or CIF.... more

In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatible with geometric layout formats, such as GDSII or CIF. However, it is more powerful and more concise. The layouts represented by GBLD are sizeable, parameterised, and can incorporate design rules. GBLD has the potential to be used as a format for analog layout templates, analog layout retargeting, as well as the final layout format.

Modal sosial masyarakat desa idealnya menjadi kekuatan untuk mempercepat proses pembangunan desa, mengalami disrupsi sehingga mengakibatkan kejadian stunting pada anak. Penelitian ini bertujuan untuk mengekplorasi akar penyebab rapuhnya... more

Modal sosial masyarakat desa idealnya menjadi kekuatan untuk mempercepat proses pembangunan desa, mengalami disrupsi sehingga mengakibatkan kejadian stunting pada anak. Penelitian ini bertujuan untuk mengekplorasi akar penyebab rapuhnya modal sosial stunting dan menemukan strategi sosial yang tepat dalam menangani stunting melalui pemanfaatan modal sosial masyarakat desa. Penelitian ini menggunakan metode penelitian kualitatif dengan teknik studi kasus yang berupaya mengeksplorasi secara mendalam spesifikasi fenomena stunting yang dialami oleh keluarga 1000 Hari Pertama Kehidupan (HPK). Determinan terjadinya disrupsi modal sosial bagi keluarga 1000 HPK adalah disorientasi keluarga dalam pembinaan anggota keluarga, maraknya penggunaan teknologi yang mengakibatkan semakin renggangnya jarak sosial diantara anggota keluarga, kepercayaan terhadap mitos-mitos pemeliharaan kehamilan dan anak, dan berkembangnya perilaku pragmatis keluarga dalam pemenuhan kebutuhan hidup. Disrupsi modal sosi...

Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-functional (timing) characteristics of a system, they still... more

Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-functional (timing) characteristics of a system, they still lack an appropriate mechanism of generating an implementation from a model while preserving the properties verified. In previous work we have proven that, if the implementation trace is very close ( -close) to a model trace, the properties verified in the model are preserved upto in the system realiza- tion. This deviation is due to the model assumption of zero-time for computational actions that, in reality, no target platform can ensure. This paper proposes an approach for esti- mating the time-deviation between model and implementation, by modeling the realization of the system when software components would run on the target platform. The approach is based on Software/Hardware Engineering method for complex real-time systems design and the Y-cha...

It is quite possible that in a process set, process may be having earliest deadline but its performance contribution is low in process set. Scheduling such processes with highest priority does not carry any meaning. Majority of today’s... more

It is quite possible that in a process set, process may be having earliest deadline but its performance contribution is low in process set. Scheduling such processes with highest priority does not carry any meaning. Majority of today’s commercial operating system schedule task based on a single parameter however recent research on flexible scheduling showed that a single parameter is not enough to expressall the application requirement .In order to provide effective support to QoS management ,an algorithm for offline scheduling of communicating tasks with precedence constraints suggested on uniprocessor Since in real time system processes are communicating to each other, if any message is failed then performance of executing successor process is reduced up to some extent .Contribution of each process in process network can be evaluated offline using multistate system (MSS) analysis. This paper suggests the policy to convert task precedence and communication constraints into pseudo d...

Modal sosial masyarakat desa idealnya menjadi kekuatan untuk mempercepat proses pembangunan desa, mengalami disrupsi sehingga mengakibatkan kejadian stunting pada anak. Penelitian ini bertujuan untuk mengekplorasi akar penyebab rapuhnya... more

Modal sosial masyarakat desa idealnya menjadi kekuatan untuk mempercepat proses pembangunan desa, mengalami disrupsi sehingga mengakibatkan kejadian stunting pada anak. Penelitian ini bertujuan untuk mengekplorasi akar penyebab rapuhnya modal sosial stunting dan menemukan strategi sosial yang tepat dalam menangani stunting melalui pemanfaatan modal sosial masyarakat desa. Penelitian ini menggunakan metode penelitian kualitatif dengan teknik studi kasus yang berupaya mengeksplorasi secara mendalam spesifikasi fenomena stunting yang dialami oleh keluarga 1000 Hari Pertama Kehidupan (HPK). Determinan terjadinya disrupsi modal sosial bagi keluarga 1000 HPK adalah disorientasi keluarga dalam pembinaan anggota keluarga, maraknya penggunaan teknologi yang mengakibatkan semakin renggangnya jarak sosial diantara anggota keluarga, kepercayaan terhadap mitos-mitos pemeliharaan kehamilan dan anak, dan berkembangnya perilaku pragmatis keluarga dalam pemenuhan kebutuhan hidup. Disrupsi modal sosi...

Bridging the different abstraction layers stemming from heterogeneous tools used in hardware software co-design for creating, maintaining and refining various system models form often a bottleneck in the overall design process. The... more

Bridging the different abstraction layers stemming from heterogeneous tools used in hardware software co-design for creating, maintaining and refining various system models form often a bottleneck in the overall design process. The missing test link between the specification level and the first refinement steps reveals the need for an environment that will enable the effective communication among the corresponding tools. This will also enable IP components to be reused early enough in the development cycle, even if their abstraction ...