Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
541
Virtual Synchrony Guarantees for Cyber-Physical Systems
"... Abstract—By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safetycritical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredi ..."
Abstract
- Add to MetaCart
Abstract—By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safetycritical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against
Monitor Based Oracles for Cyber-Physical System Testing Practical Experience Report
"... Abstract—Testing Cyber-Physical Systems is becoming in-creasingly challenging as they incorporate advanced autonomy features. We investigate using an external runtime monitor as a partial test oracle to detect violations of critical system behavioral requirements on an automotive development plat-fo ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
Abstract—Testing Cyber-Physical Systems is becoming in-creasingly challenging as they incorporate advanced autonomy features. We investigate using an external runtime monitor as a partial test oracle to detect violations of critical system behavioral requirements on an automotive development plat
A Model-driven Approach to Develop and Manage Cyber-Physical Systems ⋆
"... Abstract. Cyber-Physical Systems (CPS) integrate computing, networking, and physical processes to digitally execute tasks on or using the physical elements of a system. Power microgrids are a particular kind of CPS that enables management and autonomic control of local smart grids, aiming at reliabi ..."
Abstract
- Add to MetaCart
Abstract. Cyber-Physical Systems (CPS) integrate computing, networking, and physical processes to digitally execute tasks on or using the physical elements of a system. Power microgrids are a particular kind of CPS that enables management and autonomic control of local smart grids, aiming
TOWARDS A CYBER-PHYSICAL GAMING SYSTEM FOR TRAINING IN THE CONSTRUCTION AND ENGINEERING INDUSTRY
"... Introducing serious gaming systems (SGS) has the potential to enhance trainee experience and performance across the construction industry and its supply chain, such as mechanical engineering services. SGS as an ‘enabler ’ in architectural engineering has received limited research in its role to asse ..."
Abstract
- Add to MetaCart
process of the trainee. In addition to the 3D motion capturing system, this paper outlines and tests a proposed serious cyber-physical gaming system that incorporates wearable technologies that has the potential to support both construction training and practice. 1.
Testbed Management An Open Framework to Deploy Heterogeneous Wireless Testbeds for Cyber-Physical Systems
"... Abstract—We present an open framework for the efficient deployment of heterogeneous wireless testbeds for Cyber-Physical Systems (CPS). The testbed architecture, which can be configured and optimized for each particular deployment, consists of a low-power wireless network (LPWN) of embedded devices, ..."
Abstract
- Add to MetaCart
Abstract—We present an open framework for the efficient deployment of heterogeneous wireless testbeds for Cyber-Physical Systems (CPS). The testbed architecture, which can be configured and optimized for each particular deployment, consists of a low-power wireless network (LPWN) of embedded devices
Perracotta: mining temporal API rules from imperfect traces
- Ohio University
, 2006
"... Dynamic inference techniques have been demonstrated to provide useful support for various software engineering tasks including bug finding, test suite evaluation and improvement, and specification generation. To date, however, dynamic inference has only been used effectively on small programs under ..."
Abstract
-
Cited by 175 (3 self)
- Add to MetaCart
describe our approximate inference algorithm, present and evaluate heuristics for winnowing the large number of inferred properties to a manageable set of interesting properties, and report on experiments using inferred properties. We evaluate our techniques on JBoss and the Windows kernel. Our tool
Model management 2.0: manipulating richer mappings
- in SIGMOD, 2007
"... Model management is a generic approach to solving problems of data programmability where precisely engineered mappings are required. Applications include data warehousing, e-commerce, object-to-relational wrappers, enterprise information integration, database portals, and report generators. The goal ..."
Abstract
-
Cited by 127 (3 self)
- Add to MetaCart
Model management is a generic approach to solving problems of data programmability where precisely engineered mappings are required. Applications include data warehousing, e-commerce, object-to-relational wrappers, enterprise information integration, database portals, and report generators
A Platform for Evaluating Autonomous Intersection Management Policies
"... Abstract—There is a significant push towards greater vehicular autonomy on roads to increase convenience and improve overall driver experience. To enable this autonomy, it is imperative that cyber-physical infrastructure be deployed to enable efficient control and communication. An essential compone ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
Abstract—There is a significant push towards greater vehicular autonomy on roads to increase convenience and improve overall driver experience. To enable this autonomy, it is imperative that cyber-physical infrastructure be deployed to enable efficient control and communication. An essential
Toolbox on Intersection Safety and Design
"... transportation and traffic engineers and other professionals who are responsible for meeting mobility and safety needs. ITE facilitates the application of technology and scientific principles to research, planning, functional design, implementation, operation, policy development and management for a ..."
Abstract
- Add to MetaCart
exchange, participation and networking. The Toolbox on Intersection Safety and Design is an informational report of ITE. The information in this document has been obtained from the research and experiences of transportation engineering and planning professionals. ITE informational reports are prepared
REVITALIZATION OF PROCESSOR FOR CYBER PHYSICAL SYSTEMS USING RTOS
"... Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core. Just as the internet transformed how humans interact with one another, cyber-physical systems will transform how we interact ..."
Abstract
- Add to MetaCart
Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core. Just as the internet transformed how humans interact with one another, cyber-physical systems will transform how we interact
Results 1 - 10
of
541
