39,272 Hits in 6.9 sec

A Case Study in Domain-Customized Model Checking for Real-Time Component Software [chapter]

Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
2006 Lecture Notes in Computer Science  
In this paper, we describe our experience in customizing Bogor to check design models of avionics systems built using real-time CORBA component-based middleware.  ...  To enable researchers to more easily tailor a model checking engine to a particular software-related domain, we have constructed an extensible and highly explicit-state software model checking framework  ...  In this paper, we report on a case study in which we used the above facilities to customize Bogor for checking properties of avionics system designs.  ... 
doi:10.1007/11925040_11 fatcat:a7b3uykc7jfalmlwzb3r32d7lu

Modelling a CPS Swarm System: A Simple Case Study

Melanie Schranz, Alessandra Bagnato, Etienne Brosse, Wilfried Elmenreich
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
Modelling a CPS Swarm System: A Simple Case Study.  ...  The CPSwarm workbench is a toolchain that facilitates the entire design process of swarms of CPS including modelling, design, optimization, simulation and deployment.  ...  As a case study, a pro- blem named emergency exit was chosen.  ... 
doi:10.5220/0006731106150624 dblp:conf/modelsward/SchranzBBE18 fatcat:vwgpyktchjbgvnuhxec5sm4pwe

Risk-informed support vector machine regression model for component replacement—A case study of railway flange lubricator

Frederick Appoh, Akilu Yunusa-Kaltungo
2021 IEEE Access  
CASE STUDY EXAMPLE The case study considers the prediction and forecasting of flange lubricator maintenance inspection for a UK-based mass rapid transit with a total of six carriages.  ...  The case study from which illustrative data sets were acquired is described in Sections 4, and 5 respectively provide the study findings and conclusions. II.  ...  Training & Learning (T&L) Manager, Reliability Engineer, Mechanical Execution Engineer, Plant Operations Champion and Project Core Team Lead for a multi-million GBP coal plant project.  ... 
doi:10.1109/access.2021.3088586 fatcat:wm2pfdcvmvd2bh7r26kvq6gmcy

Reforming a Bachelor of Music programme: A case study

Gemma Carey, Don Lebler
2012 International Journal of Music Education  
Following extensive consultation, consensus reflecting the review recommendations was reached, resulting in a new Bachelor of Music program design.  ...  Information was collected through meetings with staff and students, student evaluations, graduate surveys and feedback from the music industry, along with benchmarking with other Australian and International  ...  It was a highly specified program particularly in first year with all students undertaking the following components in semester 1:  a 10 credit point (CP) performance or composition major study;  a 10  ... 
doi:10.1177/0255761412459160 fatcat:5b7spbqqerfmhfvzydent32zqa

Digital and distributed project management in mechanical engineering studies – a case study

Carsten Stechert
2021 Procedia CIRP  
This contribution provides a case study how the sudden restrictions led to the implementation of a digital and virtual concept in teaching project management for mechanical engineering studies.  ...  This contribution provides a case study how the sudden restrictions led to the implementation of a digital and virtual concept in teaching project management for mechanical engineering studies.  ...  The project based approach in this lecture was a clear success. Thus, it is in line with different other studies, cp. [7] . Students learned how to plan a project.  ... 
doi:10.1016/j.procir.2021.05.110 fatcat:pi7bflrvmbf3bpvstcmzigbo5q

Developing an integrated Web engine for online Internetworking education: a case study

Shyamala C. Sivakumar, William Robertson
2004 Internet Research  
To this end, the IWE accommodates three technology-enabled learning environments that correlate with the three pedagogical approaches and types of onsite interaction.  ...  Discusses the e-learning metrics, pedagogical and technical considerations that influence the design and implementation of the IWE environment.  ...  The case studies, projects and presentations capitalize on specific interests of the student in a group-oriented setting.  ... 
doi:10.1108/10662240410530880 fatcat:r2c2tmuxezgibe4goczyiuvrku

Agent-Based Collaboration Systems: a Case Study

Elena Nardini, Andrea Omicini
2008 Knowledge Construction in E-learning Context  
This paper shows how the Agents and Artefacts (A&A) meta-model for MAS could be exploited to build a conceptual framework for collaborative learning systems.  ...  Accordingly, a conceptual framework is needed that bridges the gap between the interaction forms characterising collaborative learning and existing learning collaboration tools.  ...  This is an e-learning project funded with support from Minerva action of the Socrates programme of the European Commission.  ... 
dblp:conf/socrates/NardiniO08 fatcat:a3frn6o43rbstokdwawrw2vbei

Learning from Failure: A Case Study on Creative Problem Solving

Fernando Sousa, Ileana Monteiro, Andre Walton, João Pissarra
2013 Procedia - Social and Behavioral Sciences  
This research is aimed at improving the creative problem solving (CPS) facilitation process by case analysis, through which we try to learn even from failure.  ...  With the goal of increasing efficiency by reducing session time and also due to theoretical considerations, a four-step model was designed, comprising the stages of objective-finding, problem-definition  ...  Methodology Research Goals The goal of the present study is to get answers to the following questions: Q1: What would be the consequences of working with a large, heterogeneous group, regarding CPS effectiveness  ... 
doi:10.1016/j.sbspro.2013.04.062 fatcat:outae5gbdraexmjnthah3wwpsq

Model-based design languages: A case study

Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet
2017 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS)  
It focuses on a case study involving a well-known distributed agreement protocol, a choice motivated by the fact that embedded systems are nowadays quickly evolving towards distributed, fault-tolerant  ...  In this paper, a comparison between two dissimilar approaches to modeling is carried out, with the goal of highlighting their relative advantages and shortcomings.  ...  Section II outlines the Promela and CPAL languages, while Section III describes how the communication protocol used as a case study has been modeled in the two cases.  ... 
doi:10.1109/wfcs.2017.7991964 dblp:conf/wfcs/BertolottiHN17 fatcat:2laub2ezkbanfls4bu5ifwgid4

Reflections on Programming in an Afrocentric Distance Education Certificate Programme: A Case Study [chapter]

Zamo Hlela
2020 Developing Teaching and Learning in Africa: Decolonising Perspectives  
It cannot be a one size fits all. Through a CP, I have presented a case for infusion approach.  ...  Learning (SSDL) is supported by five equally important components:1.  ...  Reflections on Programming in an Afrocentric Distance Education Certificate Programme Developing Teaching Learning in Africa: Decolonising Perspectives  ... 
doi:10.18820/9781928480716/08 fatcat:wx6ttzxnl5g3zl4r45nr4ycug4

Perspectives on Smart Maintenance Technologies – A Case Study in Large Manufacturing Companies [chapter]

San Giliyana, Antti Salonen, Marcus Bengtsson
2022 Advances in Transdisciplinary Engineering  
This paper presents the results of a case study based on an online open questionnaire with respondents working in maintenance organizations in large manufacturing companies.  ...  smart maintenance technologies: 1) if there are any implemented smart maintenance technologies, 2) in what context, 3) added values, 4) challenges, 5) opportunities, 6) advantages, and 7) disadvantages with  ...  Acknowledgements The research work is a part of Industrial Technology Graduate School (INDTECH) at Mälardalen University.  ... 
doi:10.3233/atde220145 fatcat:kllscv2onrhavbohu3petv7wri

Road‐testing child protection typologies: A case study in Lebanon

Thomas El‐Hoss, Louise Brown
2022 Child Abuse Review  
A parallel system of decision-making exists with a state-run system struggling to find its place alongside customary religious courts unlikely to relinquish their power over family affairs.  ...  It contends that Lebanon's child protection system is pluralistic in nature, with responsibilities for the ultimate safety and wellbeing of children diffused among a variety of stakeholders.  ...  The different components which form Lebanon's CP system work under widely differing value and belief bases.  ... 
doi:10.1002/car.2751 fatcat:wgozcmus7raodglyasspj3ipde

From Open CNC Systems to Cyber-Physical Machine Tools: A Case Study

Changyi Deng, Ruifeng Guo, Pai Zheng, Chao Liu, Xun Xu, Ray Y. Zhong
2018 Procedia CIRP  
Finally, a case of health monitoring system for CPMT is designed and its system testing is carried out.  ...  Finally, a case of health monitoring system for CPMT is designed and its system testing is carried out.  ...  As a typical example of CPS, we designed a Cyber-Physical Machine Tools (CPMT) based on open CNC architectures.  ... 
doi:10.1016/j.procir.2018.03.110 fatcat:2l4st7lmxfb6ljipzzjor6ca4a

Dynamic Scaling of Virtualized, Distributed Service Chains: A Case Study of IMS [article]

Jingpu Duan, Chuan Wu, Franck Le, Alex Liu, Yanghua Peng
2017 arXiv   pre-print
This paper designs a dynamic scaling system for geo-distributed VNF service chains, using the case of an IMS.  ...  usage efficiency and enabling dynamic network topology reconfiguration for performance optimization.  ...  E2 [25] scales VNF instances within a computing cluster connected through SDN enabled switches. Both Stratos [20] and Slick [17] study how to scale VNF in a SDN-enabled datacenter.  ... 
arXiv:1702.02853v1 fatcat:dkdi4bavonakjm4wgmip6sutha

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

Fernando Castaño, Stanisław Strzelczak, Alberto Villalonga, Rodolfo E. Haber, Joanna Kossakowska
2019 Remote Sensing  
A co-simulation framework is designed in order to enable real-time interaction between virtual and real sensors.  ...  The case study consists of an IoT LiDAR-based collaborative map in order to assess the CPS-based co-simulation framework.  ...  The case study consists of a IoT LiDAR-based collaborative map in order to validate the CPS-based co-simulation framework.  ... 
doi:10.3390/rs11192252 fatcat:7q5kuvx6yjezpolh5reuhcssri
« Previous Showing results 1 — 15 out of 39,272 results