Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
622
Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report
- In: Proceedings of the 1st International Workshop in Model-Driven Development Processes and Practices (MD2P2
, 2014
"... verification and validation Abstract. The model-driven software development (MDSD) vision has booked significant advances in the past decades. MDSD is said to be very promising in tackling the “wicked ” problems of software engineering including development of safety-critical software. However, MDSD ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
verification and validation Abstract. The model-driven software development (MDSD) vision has booked significant advances in the past decades. MDSD is said to be very promising in tackling the “wicked ” problems of software engineering including development of safety-critical software. However
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
- In Uwe Assmann, Arend Rensink, and Mehmet Aksit, editors, Model Driven Architecture: Foundations and Applications, volume 3599 of Lecture Notes in Computer Science
, 2005
"... Abstract. Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration functionality is rea-lized in software. A number of requirements have to be satisfied in order to ap-ply the model-driven development approach and the UML for mechatroni ..."
Abstract
-
Cited by 19 (11 self)
- Add to MetaCart
Abstract. Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration functionality is rea-lized in software. A number of requirements have to be satisfied in order to ap-ply the model-driven development approach and the UML
A critical role for the right fronto-insular cortex in switching between central-executive and default-mode networks.
- Proc Natl Acad Sci USA
, 2008
"... Cognitively demanding tasks that evoke activation in the brain's central-executive network (CEN) have been consistently shown to evoke decreased activation (deactivation) in the default-mode network (DMN). The neural mechanisms underlying this switch between activation and deactivation of larg ..."
Abstract
-
Cited by 178 (1 self)
- Add to MetaCart
causality analysis, we show that the rFIC-ACC network, and the rFIC, in particular, plays a critical and causal role in switching between the CEN and the DMN. We replicated this causal connectivity pattern in two additional experiments: (i) a visual attention ''oddball'' task and (ii) a
Model-driven Specification, Analysis, and Realization of Assisted Living Systems
"... Abstract- Ambient intelligent systems continuously gain importance in a variety of application domains. Nowadays one of the most important ambient intelligence domains is assisted living, which involves devices and services supporting elderly people during their everyday life. Typical assisted livin ..."
Abstract
- Add to MetaCart
living applications include health monitoring, remote nursing, and alarm systems. Model-driven design methodologies are gaining more and more importance in several application domains including traditional e-commerce systems and recently also embedded safety critical systems. The characteristics
Risky families: Family social environments and the mental and physical health of offspring
- Psychological Bulletin
, 2002
"... Risky families are characterized by conflict and aggression and by relationships that are cold, unsupportive, and neglectful. These family characteristics create vulnerabilities and/or interact with genetically based vulnerabilities in offspring that produce disruptions in psychosocial functioning ( ..."
Abstract
-
Cited by 185 (7 self)
- Add to MetaCart
, the family is charged with responsibilities for the care and development of the child. In healthy families, children learn that they can count on the environment to provide for their emotional security and their physical safety and well-being, and they acquire behaviors that will eventually allow them
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
"... Abstract—The use of formal methods (FMs), based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based on the systematic ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
Abstract—The use of formal methods (FMs), based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based
S.: Experiences with precise state modeling in an industrial safety critical system. Presented at the Critical Systems Development Using Modeling Lanuguages
, 2006
"... Abstract. The development of safety critical systems is a complex and chal-lenging task. There are many claims regarding how precise modeling, either with the UML or other modeling notations, can yield benefits in terms of more rigorous specifications and designs. This paper reports on experiences f ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
Abstract. The development of safety critical systems is a complex and chal-lenging task. There are many claims regarding how precise modeling, either with the UML or other modeling notations, can yield benefits in terms of more rigorous specifications and designs. This paper reports on experiences
Human Error, Interaction and the Development of Safety-Critical Systems
"... This chapter summarises the theoretical and practical consequences of human error for the design, operation and maintenance of interactive systems. The focus is on safety-critical applications, in industries ranging from aviation to healthcare. However, human error has an impact on all systems that ..."
Abstract
- Add to MetaCart
This chapter summarises the theoretical and practical consequences of human error for the design, operation and maintenance of interactive systems. The focus is on safety-critical applications, in industries ranging from aviation to healthcare. However, human error has an impact on all systems
On the formal development of safety-critical software
- in VSTTE, 2005
"... Abstract. We reflect on the formal development models applicable to embed-ded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary en-hancements to Parnas ' four-variable model, one elaborating the str ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. We reflect on the formal development models applicable to embed-ded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary en-hancements to Parnas ' four-variable model, one elaborating
Concerns Regarding the Adoption of the Model Driven Architecture in the Development of Safety Critical Avionics Applications
"... Abstract—Safety Critical hard Real-Time Systems are ever present in the avionics industry. The Model Driven Architecture (MDA) offers different levels of model abstraction and generation. This paper discusses our concerns relating to model development and generation when using the MDA approach in th ..."
Abstract
- Add to MetaCart
Abstract—Safety Critical hard Real-Time Systems are ever present in the avionics industry. The Model Driven Architecture (MDA) offers different levels of model abstraction and generation. This paper discusses our concerns relating to model development and generation when using the MDA approach
Results 1 - 10
of
622
