A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Filters
Systematic Implementation of Real-Time Models
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Alcoholism and Drug Addiction
O konieczności zmiany paradygmatu w badaniach nad substancjami psychoaktywnymi przez wdrożenie uczenia maszynowego i sztucznej inteligencji
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Baltic Journal of Real Estate Economics and Construction Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 IEEE International Conference on Automation Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceeding of the 28th international conference on Software engineering - ICSE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2008
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1999
Journal of engineering and technology management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Real-time systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2020
Clinical Chemistry and Laboratory Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2020
Industria Textila
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Advances in dynamical systems and applications (ADSA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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