Filters








787,751 Hits in 4.0 sec

Systematic Implementation of Real-Time Models [chapter]

Martin De Wulf, Laurent Doyen, Jean-François Raskin
2005 Lecture Notes in Computer Science  
This semantics is useful when modeling realtime controllers : control strategies modeled with this semantics are robust and implementable (without making the synchrony hypothesis).  ...  We have implemented a tool set that allows us to verify, using HyTech and Uppaal, the almost ASAP behavior of controllers and generate automatically provably correct code from verified models.  ...  Timed automata are an important formal model for the specification and analysis of real-time systems.  ... 
doi:10.1007/11526841_11 fatcat:oyk6skga2jhthnucuajxrcgtfi

A Systematic Migration Methodology for Complex Real-time Software Systems

Shaik Mohammed Salman, Thomas Nolte, Saad Mubeen, Alessandro Vittorio Papadopoulos
2020 Zenodo  
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)  ...  , requirements engineering, reverse engineering, model-based development, real-time scheduling and schedulability analysis.  ...  . 2) State-of-the-art in Real-time Systems: Since the literature on real-time systems is extensive, we skip further discussion but we conclude that much of the literature in this domain uses the task-level  ... 
doi:10.5281/zenodo.5856377 fatcat:l7jlyzo2z5b7blxcqh7moblo7u

An Architecture for Flexible Entity Configuration in a Simulation Environment [chapter]

Changgu Kang, Yoosoo Oh, Woontack Woo
2009 Lecture Notes in Computer Science  
An application developer can implement graphical user interface(GUI) of new entities without considering the structural dependency about overall GUI of the system.  ...  Especially, simulations for ubiquitous environment focus on generating realistic data, context, contextual interpretation and have characteristics such as systematic testing, detection of rule confliction  ...  Using real sensors(IR sensor, cushion sensor) and virtual services(TV, lamp), we confirmed our system.  ... 
doi:10.1007/978-3-642-03364-3_5 fatcat:wzdzrxrxxjei5ffhur3ass3rmy

On the necessity for paradigm shift in psychoactive substances research: the implementation of machine learning and artificial intelligence
O konieczności zmiany paradygmatu w badaniach nad substancjami psychoaktywnymi przez wdrożenie uczenia maszynowego i sztucznej inteligencji

Ahmed Al-Imam, Marek Motyka
2019 Alcoholism and Drug Addiction  
On the necessity fOr paradigm shift in psychOactive substances research: the implementatiOn Of machine learning and artificial intelligence O konieczności zmiany paradygmatu w badaniach nad substancjami  ...  Al-Imam; Acceptance of final manuscript version/Akceptacja ostatecznej wersji pracy: A. Al-Imam, M.A. Motyka; Literature search/Przygotowanie literatury: A. Al-Imam, M.A.  ...  ■ machine learning fOr psychOactive substances research Although researchers have implemented the use of real-time analytics and predictive models in various specialisations of mathematical and natural  ... 
doi:10.5114/ain.2019.91004 fatcat:7zvz35gb5rda7j3bdpkeo5hrk4

Digital methods of real estate asset lifecycle management

Irina Vladimirova, Galina Kallaur, Kseniia Bareshenkova
2018 Baltic Journal of Real Estate Economics and Construction Management  
as scope, time and cost management throughout the lifecycle of a real estate asset.  ...  construction industry acknowledge the effectiveness of the currently relevant information modelling technologies (BIM); however, full implementation of BIM technologies in Russia is mainly restrained  ...  of Investment and Construction Projects Management", No. 18-010-01040.  ... 
doi:10.2478/bjreecm-2018-0013 fatcat:qrejeoswcjguvgadqsc3pvzoie

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Guillaume Brau, Jérôme Hugues, Nicolas Navet
2018 Science of Computer Programming  
Real-time properties. We concentrate on real-time properties. We focus on a particular kind of analytical methods called real-time scheduling analyses [20] . Structure of the paper.  ...  We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning  ...  We presented an implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about  ... 
doi:10.1016/j.scico.2017.12.007 fatcat:ri3wzlgnnbda7hloaw43h64wqe

A Safety-Assured Development Approach for Real-Time Software

Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee
2010 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications  
Formal specification with timed automata is checked with respect to timing properties by model checking technique and is transformed into implementation systematically.  ...  Formal specification with timed automata is checked with respect to timing properties by model checking technique and is transformed into implementation systematically.  ...  Focusing on how to implement time-guaranteed real-time software from the model systematically, we propose a safetyassured development approach of real-time software.  ... 
doi:10.1109/rtcsa.2010.42 dblp:conf/rtcsa/JeeWKLSL10 fatcat:hrqbzmrh35envfjhv55oobyp3i

Progressive simulation-based design: A case study example on software defined radio

Ehsan Azarnasab, Xiaolin Hu, Peiman Amini, Behrouz Farhang-Boroujeny
2008 2008 IEEE International Conference on Automation Science and Engineering  
In this paper we apply this methodology to implement a cognitive radio network on software defined radio, and show the progress from modeling and simulation point of view.  ...  Progressive design, using simulation for cumulative tests, defines a systematic methodology for development of such systems.  ...  It provides a design process that explicitly focuses on systematic transitions from simulation models to real system realization.  ... 
doi:10.1109/coase.2008.4626494 dblp:conf/case/AzarnasabHAF08 fatcat:romqhchvn5e7rpdna6cm7dld74

HighSpec

J. S. Dong, P. Hao, X. Zhang, S. C. Qin
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
models for complex real-time systems.  ...  Building on the strength of Object-Z's in specifying data structures and Timed Automata's in modelling dynamic and real-time behaviors, OZTA is well suited for presenting complete and coherent requirement  ...  Acknowledgements We would like to thank Chen Qian, and He Kang for their part of work on the coding of HighSpec.  ... 
doi:10.1145/1134285.1134409 dblp:conf/icse/DongHZQ06 fatcat:gq3xteaqo5ex7jfd4ablfvdiiu

An Implementation Environment for Automated Manufacturing Systems

Ricardo A. Diogo, Carlos A. Vicari, Eduardo de F.R. Loures, Marco A. Busetti, Eduardo A.P. Santos
2008 IFAC Proceedings Volumes  
This environment is based on a methodology which consists of a cyclic three-stage development -modeling, synthesis and implementation -until the real system accomplishes the required specification, resulting  ...  This paper presents an implementation environment applied to reconfigurable processes in automated manufacturing systems.  ...  This systematization consists of using formal models for analysis, synthesis and implementation of control systems for Discrete Event Systems (DES).  ... 
doi:10.3182/20080706-5-kr-1001.01787 fatcat:t4updcjltrbg3b7badthy77gaq

A model for an integrated manufacturing system implementation in China: a case study

Henry C. Tseng, W.H. Ip, K.C. Ng
1999 Journal of engineering and technology management  
Planning MRPII and Real-Time Monitoring System RTMS , it emphasises not only the use of appropriate modern technology but also the management of technology change.  ...  The detailed design and implementation of this vision is conducted through the proposed systematic manufacturing strategic analysis.  ...  Acknowledgements The authors would like to thank the Hong Kong Polytechnic University; Teaching Company Scheme project no. 751 for the support of this research project.  ... 
doi:10.1016/s0923-4748(98)00029-0 fatcat:oanltxk4dzewpkuuadhv62uqqu

CCMPerf: A Benchmarking Tool for CORBA Component Model Implementations

Arvind S. Krishna, Balachandran Natarajan, Aniruddha Gokhale, Douglas C. Schmidt, Nanbor Wang, Gautam Thaker
2005 Real-time systems  
Commercial off-the-shelf (COTS) middleware is now widely used to develop distributed real-time and embedded (DRE) systems.  ...  There has been little systematic empirical study of the performance characteristics of component middleware implementations in the context of DRE systems.  ...  If CCM implementations use a publish/subscribe model, they can use the standard CORBA Event Service [9] or use a customized implementation (such as a Real-time Event Service [4] ).  ... 
doi:10.1007/s11241-005-6889-6 fatcat:q7hjg535xzfn7ecc3yrpv3p7gu

Recommendation for performance verification of patient-based real-time quality control

Tze Ping Loh, Andreas Bietenbeck, Mark A. Cervinski, Huub H. van Rossum, Alex Katayev, Tony Badrick, on behalf of the International Federation of Clinical Chemistry and Laboratory Medicine Committee on Analytical Quality
2020 Clinical Chemistry and Laboratory Medicine  
Patient-based real-time quality control (PBRTQC) is a laboratory tool for monitoring the performance of the testing process.  ...  Following the setup and optimization processes, a key step prior to the routine implementation of PBRTQC is the verification and documentation of the performance of the PBRTQC as part of the laboratory  ...  (A) Introduction of a systematic error (3 mmol/L) into the base patient-based real-time quality control model after the 20th result and sustained for 200 subsequent results.  ... 
doi:10.1515/cclm-2019-1024 pmid:32049646 fatcat:wzkxolpesfhtti7h3rjfqnsrfa

CAD/CAM system implementation criteria in the process generating of optimal and efficient models for clothing industry

DRAGAN DIMITRIJEVIĆ, OBRAD SPAIĆ, ŽELJKO ĐURIĆ, SNEŽANA UROŠEVIĆ, MAJA NIKOLIĆ
2020 Industria Textila  
and computer simulation of the new model, based on which the criteria for efficient and optimal implementation of the CAD/CAM systems are defined.  ...  The following is an explanation of the final phase, i.e. a systematic and objective design assessment, through the implementation of preliminary results of exploitation studies of the modal experiment  ...  Based on the obtained results, for the implementation of CAM system, operations with time of min 4% of the total time of that production phase were proposed, while criterion by parameter Number of employees  ... 
doi:10.35530/it.071.05.1741 fatcat:bpfhqioih5hvzg5cl4dqxpcqa4

A Systematic and Critical Analysis of the Developments in the Field of Intelligent Transportation System

Shalini Yadav, Rahul Rishi
2021 Advances in dynamical systems and applications (ADSA)  
The paper studies a systematic review on the existing technology and development in the field of Intelligent Transportation System.  ...  The paper presents a systematic review on the important and prominent work in the field. A critical analysis of the work that has been done so far and that can be further taken forward is analyzed.  ...  Real time data: Finding real-time data is such a big research thrust area in ITS. Tools and systems that are available today are also not of much help.  ... 
doi:10.37622/adsa/16.2.2021.901-912 fatcat:ipxmeyxzkbhttaokqi3au2wyce
« Previous Showing results 1 — 15 out of 787,751 results