FlexWare : A Flexible Firmware Development Environment for Embedded Systems

2002 ◽  
pp. 67-84 ◽  
Author(s):  
Pierre G. Paulin ◽  
Clifford Liem ◽  
Trevor C. May ◽  
Shailesh Sutarwala
Keyword(s):  
Embedded Systems ◽  
Development Environment

A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS

1996 ◽  
Vol 06 (03) ◽  
pp. 401-426 ◽  
Author(s):  
DOUGLAS A. STUART ◽  
ALOYSIUS K. MOK ◽  
FARNAM JAHANIAN
Keyword(s):  
Embedded Systems ◽  
Naval Research ◽  
Critical Systems ◽  
System Specification ◽  
Development Environment ◽  
Prototype Development ◽  
Support Tools ◽  
System Requirements ◽  
Time Critical ◽  
Verification Methodology

As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to determine whether a system specification satisfies the required properties. The paper also describes the implementation of a mechanical verifier, based on the proposed approach, which has been recently integrated as part of the Modechart Toolset prototype development environment from the Naval Research Lab [7].

scholarly journals Learning programming of micro-controllers in CAD Proteus

2021 ◽  
pp. 69-74
Author(s):  
Sergey Tyurin ◽  
◽  
Dmitii Kovilyaev ◽  
Ekaterina Danilova ◽  
Alexei Gorodilov ◽  
...  
Keyword(s):  
Internet Of Things ◽  
Embedded Systems ◽  
The Internet ◽  
Development Environment ◽  
C Language ◽  
Assembler Language ◽  
The Creation ◽  
Learning Programming ◽  
The Internet Of Things ◽  
Systems Programming

The creation of projects in the Proteus program based on microcontrollers is considered. A classic 8051 microcontroller from Intel is investigated, as well as an STM32F401RE microcontroller from ARM. The development of the simplest programs for use in laboratory classes on programming embedded systems (for example, the "Internet of things") for 8051 – in assembler language, for STM32F401RE – in C language using a special development environment is carried out. The research can be used in laboratory classes on embedded systems programming.

scholarly journals An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems

2005 ◽  
pp. 329-361 ◽  
Author(s):  
Gabriele Trombetti ◽  
Aniruddha Gokhale ◽  
Douglas C. Schmidt ◽  
Jesse Greenwald ◽  
John Hatcliff ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Integrated Model ◽  
Development Environment ◽  
Model Driven Development ◽  
Model Driven

scholarly journals The MODUS Approach to Formal Verification

2014 ◽  
Vol 5 (1) ◽  
pp. 21-33
Author(s):  
Lukasz Brewka ◽  
José Soler ◽  
Michael Berger
Keyword(s):  
Embedded Systems ◽  
Formal Verification ◽  
Formal Model ◽  
Automated Analysis ◽  
Ease Of Use ◽  
Model Verification ◽  
Development Environment ◽  
Systems Quality ◽  
Solution Methods ◽  
Market Needs

Abstract Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project

Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF

2013 ◽  
Vol 756-759 ◽  
pp. 2226-2230
Author(s):  
Bo Geng ◽  
Qing Hua Cao
Keyword(s):  
Embedded Systems ◽  
Software Development ◽  
Design Process ◽  
Systems Design ◽  
Embedded Software ◽  
Engineering System ◽  
Simulation Platform ◽  
Development Environment ◽  
Test Environment ◽  
Software And Hardware

Embedded software and hardware integration simulation platform is developed for simulating the embedded systems design process in current engineering system, which can facilitate finding various problems in system design process. For example, in the system scheme phase, the scheme and design verification are untimely and inadequate. In the early prototype phase, software development lags behind result in deferral of the overall progress of the system. And in the late prototype stage, the problem is lacking configuration item test environment. Embedded software and hardware integration simulation platform can provide verification of hardware and software integration and test development environment. Therefore, the quality of software development in embedded systems can be significantly improved and development cycle can be remarkably shortened by using this simulation platform.

Sign in / Sign up

Export Citation Format

Share Document