Embedded system design with multiple languages

Ernst, Rolf; Jerraya, Ahmed

doi:10.1109/aspdac.2000.835131

Cited by 7 publications

(4 citation statements)

References 18 publications

(15 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This classification shares similarities with the classifications proposed in [34] and [35]. In particular, the way we group some of the reviewed approaches is comparable to the grouping which is proposed in these classifications.…”

Section: Approaches Addressing the Heterogeneity Problemsupporting

confidence: 61%

Exploring Multi-Paradigm Modeling Techniques

Hardebolle

Boulanger

2009

SIMULATION

View full text Add to dashboard Cite

ISSN 0037-5497International audienceMulti-Paradigm Modeling (MPM) addresses the necessity of using multiple modeling paradigms when designing complex systems. Because of its multi-disciplinary nature, the MPM field involves research teams with technical backgrounds as different as control science, model checking, modeling language engineering or system-on-chip development. In this paper, we propose to explore the MPM domain through a survey of existing techniques from different horizons. Since the heterogeneity of models is at the heart of Multi-Paradigm Modeling, we first identify the sources of this heterogeneity and introduce the problems it raises. Then we show how the different existing techniques address these problems

show abstract

Section: Approaches Addressing the Heterogeneity Problemsupporting

confidence: 61%

Exploring Multi-Paradigm Modeling Techniques

Hardebolle

Boulanger

2009

SIMULATION

View full text Add to dashboard Cite

show abstract

“…47 Chang et al 48 concluded that these mobile device-based health services should be used more effectively to minimise excess costs without compromising quality health care. Designing mobile applications in multiple languages 49 and using various mobile device-based translation applications 48 is one way to help alleviate this challenge. For example, in the absence of an interpreter, to collect basic information on presenting complaint and medical history, an app-based multilingual digital assistance tool can be used, as was developed and pilot tested in a primary health care centre for refugees in Germany.…”

Section: Mobile Device-based Application Characteristicsmentioning

confidence: 99%

Analysis of requirements for developing a mobile device‐based medicines management application for people who are blind and visually impaired

Dinari

Bahaadinbeigy

Moulaei

2022

Pharmacy Practice and Res

View full text Add to dashboard Cite

Background People with visual impairments are often faced with challenges in the process of medicines management and use. Mobile device‐based applications can be a potential solution in reducing these challenges. Objectives This study aimed to analyse the requirements for developing a mobile device‐based medicines management application for people who are blind and visually impaired. Methods A questionnaire was designed to examine the requirements for developing a medicines management application for people who were blind and visually impaired. The questionnaire was sent to 2081 people who are blind or visually impaired, and their instructors. Among them, 146 people (125 with visual impairments and 21 instructors) completed the questionnaire. SPSS 23 software was used for statistical analysis. Results Ninety percent of people with visual impairments and 75% of instructors were willing to assist in application design. Out of 44 data elements, 35 were considered important for designing and creating mobile device‐based medicines management applications. ‘Providing education information about drugs in the form of audio files’ (4.71 ± 0.56), ‘Ability to update software’ (4.71 ± 0.56) and ‘Ability to search for physician’s addresses’ (4.71 ± 0.46) were rated highest, in terms of required ‘Application capabilities’, by the study cohort based on average Likert scale scores (1 = very low, 2 = low, 3 = moderate, 4 = high, 5 = very high). Conclusion This study provides a set of data elements that people who are blind and visually impaired, and their instructors, have identified as being important to the development and design of mobile device‐based medicines management applications. Developers can use the identified data elements to help in the design and implementation of their medicines management applications or electronic systems. Applications and electronic systems that incorporate features for people who are blind and visually impaired, have the potential to improve quality of life by enabling independent medicines management and medicines adherence, whilst potentially decreasing medication errors, rate of diseases, frequency of hospitalisations and medicines related deaths.

show abstract

“…The most important issues of system modeling are represented by efficiency (i.e., the model must be quickly developable), flexibility (i.e., the model must be easily adaptable to explore different design implementations), and functionality (i.e., the behavior of the system must reflect the informal specification and it must satisfy the system constraints). Finite state machines (FSMs), (8) Labeled Transition Systems, (9) Kripke structures, (10) Petri nets, (11,12) process networks, (13) etc. are valuable alternatives to formally model the functionality of embedded systems at such a level.…”

Section: Embedded Systems: Design Flowmentioning

confidence: 99%

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

Loghi

Margaria

Pravadelli

et al. 2005

Int J Parallel Prog

View full text Add to dashboard Cite

Embedded Systems, by their nature, constitute a meeting point for communities with extremely different background. In particular, the high demands for quality and reliability for embedded systems have led to complementary quality assurance efforts: hardware engineers have developed techniques for dynamic verification in terms of co-simulation, which, in particular, addresses the different nature of hardware and software components. Thus these techniques are tailored for the transactional level, which comprises dedicated models for the hardware and the software parts. On the other hand, there is a bulk of work on formal verification techniques, which typically address higher levels of abstraction. These techniques are exhaustive in the sense that they cover all the infinite possible paths of their models, however at the price of neglecting many of the low-level aspects treated by co-simulation. It is the goal of this paper to increase the mutual understanding between these communities and to animate research at this exciting borderline.

show abstract

Embedded system design with multiple languages

Abstract: -The use of several languages in the design of embedded systems is very convenient for application development and optimization but it can become an obstacle on the way to higher design productivity. This paper explains solutions and future trends.

Cited by 7 publications

References 18 publications

Exploring Multi-Paradigm Modeling Techniques

Exploring Multi-Paradigm Modeling Techniques

Analysis of requirements for developing a mobile device‐based medicines management application for people who are blind and visually impaired

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

Contact Info

Product

Resources

About