The Experts below are selected from a list of 102918 Experts worldwide ranked by ideXlab platform
Paoann Hsiung - One of the best experts on this subject based on the ideXlab platform.
-
automatic testing environment for multi core Embedded Software atemes
2012Co-Authors: Chorngshiuh Koong, Paoann Hsiung, Chihhsiong Shih, Hungjui Lai, Chihhung Chang, William C Chu, Nienlin Hsueh, Chaotung YangAbstract:Software testing during the development process of Embedded Software is not only complex, but also the heart of quality control. Multi-core Embedded Software testing faces even more challenges. Major issues include: (1) how demanding efforts and repetitive tedious actions can be reduced; (2) how resource restraints of Embedded system platform such as temporal and memory capacity can be tackled; (3) how Embedded Software parallelism degree can be controlled to empower multi-core CPU computing capacity; (4) how analysis is exercised to ensure sufficient coverage test of Embedded Software; (5) how to do data synchronization to address issues such as race conditions in the interrupt driven multi-core Embedded system; (6) high level reliability testing to ensure customer satisfaction. To address these issues, this study develops an automatic testing environment for multi-core Embedded Software (ATEMES). Based on the automatic mechanism, the system can parse source code, instrument source code, generate testing programs for test case and test driver, support generating primitive, structure and object types of test input data, multi-round cross-testing, and visualize testing results. To both reduce test engineer's burden and enhance his efficiency when Embedded Software testing is in process, this system developed automatic testing functions including unit testing, coverage testing, multi-core performance monitoring. Moreover, ATEMES can perform automatic multi-round cross-testing benchmark testing on multi-core Embedded platform for parallel programs adopting Intel TBB library to recommend optimized parallel parameters such as pipeline tokens. Using ATEMES on the ARM11 multi-core platform to conduct testing experiments, the results show that our constructed testing environment is effective, and can reduce burdens of test engineer, and can enhance efficiency of testing task.
-
synthesis of real time Embedded Software with local and global deadlines
2003Co-Authors: Paoann HsiungAbstract:Current methods cannot synthesize real-time Embedded Software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical path in the task. This creates unnecessary modeling limitations which directly affect the types of systems synthesizable. We propose a quasi-dynamic scheduling algorithm for simultaneously guaranteeing both local and global deadlines, while satisfying all precedence constraints among subtasks and among tasks. Through this scheduling procedure, we are able to formally synthesize real-time Embedded Software from a network of Real-Time Petri Nets specification. Application examples, including a driver for the Master/Slave role switch in Bluetooth wireless communication devices, are given to illustrate the feasibility of the scheduling algorithm.
-
extended quasi static scheduling for formal synthesis and code generation of Embedded Software
2002Co-Authors: Fengshi Su, Paoann HsiungAbstract:With the computerization of most daily-life amenities such as home appliances, the Software in a real-time Embedded system now accounts for as much as 70% of a system design. On one hand, this increase in Software has made Embedded systems more accessible and easy to use, while on the other hand, it has also necessitated further research on how complex Embedded Software can be designed automatically and correctly. Enhancing recent advances in this research, we propose an Extended Quasi-Static Scheduling (EQSS) method for formally synthesizing and automatically generating code for Embedded Software, using the Complex-Choice Petri Nets (CCPN) model. Our method improves on previous work in three ways: (1) by removing model restrictions to cover a much wider range of applications, (2) by proposing an extended algorithm to schedule the more unrestricted model, and (3) by implementing a code generator that can produce multi-threaded Embedded Software programs. The requirements of an Embedded Software are specified by a set of CCPN, which is scheduled using EQSS such that the schedules satisfy limited Embedded memory requirements and task precedence constraints. Finally, a POSIX-based multi-threaded Embedded Software program is generated in the C programming language. Through an example, we illustrate the feasibility and advantages of the proposed EQSS method.
-
Embedded Software verification in hardware Software codesign
2000Co-Authors: Paoann HsiungAbstract:Abstract Concurrent Embedded Real-Time Software (CERTS) is intrinsically different from traditional, sequential, independent, and temporally unconstrained Software. The verification of Software is more complex than hardware due to inherent flexibilities (dynamic behavior) that incur a multitude of possible system states. The verification of CERTS is all the more difficult due to its concurrency and Embeddedness. The work presented here shows how the complexity of CERTS verification can be reduced significantly through answering common engineering questions such as when, where, and how one must verify Embedded Software. First, a new Schedule-Verify-Map strategy is proposed to answer the when question. Second, verification under system concurrency is proposed to answer the where question. Finally, a complete symbolic model checking procedure is proposed for CERTS verification. Several application examples illustrate the usefulness of our technique in increasing verification scalability.
Janos Sztipanovits - One of the best experts on this subject based on the ideXlab platform.
-
an experimental model based rapid prototyping environment for high confidence Embedded Software
2009Co-Authors: Joseph Porter, Gabor Karsai, Peter Volgyesi, Nicholas Kottenstette, Harmon Nine, Janos SztipanovitsAbstract:The development of Embedded Software for high confidencesystems is a challenging task that must be supportedby a deep integration of control theoretical and computational aspects. Model-based development of EmbeddedSoftware has been practiced for more than a decade now,but very few integrated approaches have emerged to provideend-to-end support for the process, and integrate platformaspects as well as verification. The paper describes anearly version of a model-based prototyping toolchain thatprovides such support and covers most engineering steps.The toolchain is coupled with a hardware-in-the-loop simulation system, allowing quick experimental evaluation ofdesigns.
-
introducing Embedded Software and systems education and advanced learning technology in an engineering curriculum
2005Co-Authors: Janos Sztipanovits, Gabor Karsai, Gautam Biswas, Ken Frampton, Aniruddha Gokhale, Larry Howard, John T Koo, Xenofon Koutsoukos, Douglas C SchmidtAbstract:Embedded Software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with, increasing importance, in mechanical engineering. Despite the clear need for knowledge of systems modeling and analysis (covered in electrical and other engineering disciplines) and analysis of computational processes (covered in computer science), few academic programs have integrated the two disciplines into a cohesive program of study. This paper describes the efforts conducted at Vanderbilt University to establish a curriculum that addresses the needs of Embedded Software and systems. Given the compartmentalized nature of traditional engineering schools, where each discipline has an independent program of study, we have had to devise innovative ways to bring together the two disciplines. The paper also describes our current efforts in using learning technology to construct, manage, and deliver sophisticated computer-aided learning modules that can supplement the traditional course structure in the individual disciplines through out-of-class and in-class use.
-
model integrated development of Embedded Software
2003Co-Authors: Gabor Karsai, Akos Ledeczi, Janos Sztipanovits, Ted BaptyAbstract:The paper describes a model-integrated approach for Embedded Software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the Embedded Software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive , in the sense that they allow the formal analysis, verification, and validation of the Embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating Embedded systems using the techniques of program generators. Because of the widely varying nature of Embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated Embedded Software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of Embedded Software.
Gabor Karsai - One of the best experts on this subject based on the ideXlab platform.
-
an experimental model based rapid prototyping environment for high confidence Embedded Software
2009Co-Authors: Joseph Porter, Gabor Karsai, Peter Volgyesi, Nicholas Kottenstette, Harmon Nine, Janos SztipanovitsAbstract:The development of Embedded Software for high confidencesystems is a challenging task that must be supportedby a deep integration of control theoretical and computational aspects. Model-based development of EmbeddedSoftware has been practiced for more than a decade now,but very few integrated approaches have emerged to provideend-to-end support for the process, and integrate platformaspects as well as verification. The paper describes anearly version of a model-based prototyping toolchain thatprovides such support and covers most engineering steps.The toolchain is coupled with a hardware-in-the-loop simulation system, allowing quick experimental evaluation ofdesigns.
-
introducing Embedded Software and systems education and advanced learning technology in an engineering curriculum
2005Co-Authors: Janos Sztipanovits, Gabor Karsai, Gautam Biswas, Ken Frampton, Aniruddha Gokhale, Larry Howard, John T Koo, Xenofon Koutsoukos, Douglas C SchmidtAbstract:Embedded Software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with, increasing importance, in mechanical engineering. Despite the clear need for knowledge of systems modeling and analysis (covered in electrical and other engineering disciplines) and analysis of computational processes (covered in computer science), few academic programs have integrated the two disciplines into a cohesive program of study. This paper describes the efforts conducted at Vanderbilt University to establish a curriculum that addresses the needs of Embedded Software and systems. Given the compartmentalized nature of traditional engineering schools, where each discipline has an independent program of study, we have had to devise innovative ways to bring together the two disciplines. The paper also describes our current efforts in using learning technology to construct, manage, and deliver sophisticated computer-aided learning modules that can supplement the traditional course structure in the individual disciplines through out-of-class and in-class use.
-
model integrated development of Embedded Software
2003Co-Authors: Gabor Karsai, Akos Ledeczi, Janos Sztipanovits, Ted BaptyAbstract:The paper describes a model-integrated approach for Embedded Software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the Embedded Software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive , in the sense that they allow the formal analysis, verification, and validation of the Embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating Embedded systems using the techniques of program generators. Because of the widely varying nature of Embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated Embedded Software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of Embedded Software.
Jean Marcelo Simao - One of the best experts on this subject based on the ideXlab platform.
-
a brazilian survey on uml and model driven practices for Embedded Software development
2013Co-Authors: Luciane Telinski Wiedermann Agner, Inali Wisniewski Soares, Paulo Cezar Stadzisz, Jean Marcelo SimaoAbstract:This paper brings statistical findings from a survey about the use of UML modeling and model-driven approaches for the design of Embedded Software in Brazil. The survey provides evidences regarding the maturity of use of UML and model-driven approaches, how they are employed, and which and where the professionals who use them are. Technical, organizational, and social aspects were investigated and documented by making use of a descriptive research method. Such aspects seemingly reflect the opinions of Software engineers on how they perceive the impact of using UML and model-driven approaches on productivity and quality in Embedded Software development. Results show that most participants are clearly aware of the modeling approach value, even though they practice it only to a limited degree. Most respondents who make use of model-driven approaches attest that productivity and portability are the key advantages of their use.
Ted Bapty - One of the best experts on this subject based on the ideXlab platform.
-
model integrated development of Embedded Software
2003Co-Authors: Gabor Karsai, Akos Ledeczi, Janos Sztipanovits, Ted BaptyAbstract:The paper describes a model-integrated approach for Embedded Software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the Embedded Software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive , in the sense that they allow the formal analysis, verification, and validation of the Embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating Embedded systems using the techniques of program generators. Because of the widely varying nature of Embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated Embedded Software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of Embedded Software.
