Journal
SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS
UDK
Issue:4 (98)
Download PDF0 Kbyte
A METHODOLOGY FOR DESIGN SPACE EXPLORATION OF REAL-TIME LOCATION SYSTEMS
Annotation
Scope of Research. This paper deals with the problem of design space exploration for a particular class of networked embedded systems called Real-Time Location Systems (RTLS). Methods. The paper contains a clear and detailed plan of anongoing research and could be considered as a review, a vision and a statement of objectives. Analytical and formal methods, simulation and automated verification will be involved in the research. Main Results. Analysis of the state of the art (current design flow, existing simulation tools and verification techniques) has revealed several limitations for performing efficientdesign space exploration of RTLS, especially for safety-critical applications. The review part of the paper also contains a clear problem statement. The main outcome of this research is the proposed vision of a novel methodology for determining the best-suited technology and its configuration from the space of potential solutions. In particular, it is planned to extend an existing simulation framework and apply automated verification techniques. The latter will be used for checking simulation results and also for exploring different system configuration alternatives, that is, to optimize the design, which is a novel approach. A case study for validating the methodology is also proposed. Practical Significance. The proposed methodology will highly increase the breadth of design space exploration of RTLS as well as the confidence on taken design decisions. It will also contribute to optimizing the design.
Keywords
Постоянный URL
Articles in current issue
- A METHODOLOGY FOR DESIGN SPACE EXPLORATION OF REAL-TIME LOCATION SYSTEMS
- FIBER OPTIC SENSOR MODIFIED BY GRAFTING OF THE MOLECULARLY IMPRINTED POLYMER FOR THE DETECTION OF AMMONIUM IN AQUEOUS MEDIA
- PREPARATION AND CHARACTERIZATION OF STRONTIUM FLUORIDE POWDERS ACTIVATED BY NEODYMIUM FLUORIDE
- METHOD OF GROUP OBJECTS FORMING FOR SPACE-BASED REMOTE SENSING OF THE EARTH
- METHOD OF RADIOMETRIC DISTORTION CORRECTION OF MULTISPECTRAL DATA FOR THE EARTH REMOTE SENSING
- ASPHERICAL SURFACES APPROXIMATION IN AUTOMATED DESIGN OF OPTICAL SYSTEMS
- PHASE SHIFT INFLUENCE RESEARCH OF THE REFERENCE OSCILLATOR SIGNAL ON THE OUTPUT SIGNAL IN HOMODYNE DEMODULATION SCHEME
- TRACKING CONTROL FOR A HYDRAULIC DRIVE WITH A PRESSURE COMPENSATOR
- AN ALGORITHM OF ADAPTIVE TORQUE CONTROL IN INJECTOR INTERNAL COMBUSTION ENGINE
- ON THE SPECIFIC FEATURES OF SILICON CARBIDE HETEROPOLYTYPE EPITAXY
- PEOPLE RETRIEVAL BY MEANS OF COMPOSITE PICTURES: METHODS, SYSTEMS AND PRACTICAL DECISIONS
- DISTRIBUTED GENERATION OF COMPUTER MUSIC IN THE INTERNET OF THINGS
- APPLICATION OF MICROPHONE ARRAYS FOR DISTANT SPEECH CAPTURE
- MATRIX-VECTOR ALGORITHMS OF LOCAL POSTERIORI INFERENCE IN ALGEBRAIC BAYESIAN NETWORKS ON QUANTA PROPOSITIONS
- HARDWARE ENVIRONMENT FACTOR FOR CONTROL SIGNAL TRANSFER TO A PLANT IN THE SYNTHESIS PROBLEM OF DISCRETE SYSTEMS
- PROCESSING METHOD DEVELOPMENT OF CONTROL LOW-FREQUENCY SIGNALS FOR THE INTELLECTUAL TRAINER
- DATA TRANSLATION BETWEEN PADS AND CAM350
- INCREASE OF STABILITY AT JPEG COMPRESSION OF THE DIGITAL WATERMARKS EMBEDDED IN STILL IMAGES
- ESTIMATION OF INTRUSION DETECTION PROBABILITY BY PASSIVE INFRARED DETECTORS
- FINITE ELEMENT FOR STRESS-STRAIN STATE MODELING OF TWO-LAYERED AXIALLY SYMMETRIC SHELLS
- ONE-DIMENSIONAL GAS DYNAMICS PROBLEMS AND THEIR SOLUTION BASED ON HIGH-RESOLUTION FINITE DIFFERENCE SCHEMES
- MONOTONIC DERIVATIVE CORRECTION FOR CALCULATION OF SUPERSONIC FLOWS WITH SHOCK WAVES
- REMOTE SYNTHESIS AND CONTROL INFORMATION TECHNOLOGY OF SYSTEM-DYNAMIC MODELS
- ANALYSIS AND QUANTITATIVE ASSESSMENT FOR RESULTS OF EDUCATIONAL PROGRAMS APPLICATION BY MEANS OF DIAGNOSTIC TESTS
- RETRIEVAL TIME RESEARCH IN TEMPORAL KNOWLEDGE BASES WITH DYNAMIC CONTENT