NDLI: UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation

Please wait, while we are loading the content...

2010 IEEE International Conference on Information Theory and Information Security

Realization based on hybrid LabVIEW and C# programming to access database

An advanced design of data mining algorithms

Development of simulation system for auxiliary boiler

Genetic variation in several populations of Oedaleus Fieber by SSRP-PCR analysis

Rough set theories and applications in security evaluation of hydropower engineering construction

Rough set attributes reduction based on adaptive PBIL algorithm

Construct assembly model for assembly sequence planning

Disaster relief decision support system of army aviation based on the “3S” integrated technology

An algorithm for moving semantic objects trajectories detection in video

A hardware multiplier design of embedded microprocessor

The single-chip solution of embedded USB encryptor

Design of generalization of threshold signcryption scheme based on ECC

The technology of music retrieval by humming and its application in internet music search system

Conformance testing for IS-IS protocol based on E-LOTOS

Cycle chain ladder deceleration control method research based on permanent magnet synchronous generator

The design of a remote control signal source based on SPI bus

Robust rotation estimation of slap fingerprint image for E-Commerce authentication

Homologous detection based on text, Token and abstract syntax tree comparison

A face analysis and description algorithm based on depth information

Research on IR small target detection and backgroud suppression

Improved method for source camera forensics using JPEG compression images

Software documents quality measurement- a fuzzy approach

Manipulation and transparency control of ICT constituted e-administrative protocol via digital watermarking for LDC's

A secured electronic transaction scheme for mobile banking in Bangladesh incorporating digital watermarking

Exploring the data locality of on-board disk cache

2D-RAID-based array self-adaptation strategy

A rocking period control method for a biped quasi passive walker using a mechanical oscillator

UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation

Performance analysis of turbo codes with different interleavers and decoding methods

Recognition of expression variant faces - a principle component analysis based approach for access control

A novel digital watermark against RST distortion based on SURF

Temperature controlling design based on VB and PLC

Design and implementation of VEEL archive system for computer forensics

UR coding - a novel algorithm for data compression

Neural network-based terminal sliding mode control for the uncertainty coupled chaotic system with two freedoms

ROI-based tamper detection and recovery for medical images using reversible watermarking technique

A recursive construction of p-ary bent functions which are not weakly regular

A Test-Driven Web application model based on layered approach

Method to generate elliptic curves based on CM algorithm

Improved K-Means cluster algorithm in telecommunications enterprises customer segmentation

Pipelined implementation of AES encryption based on FPGA

Generalized fast coding steganographic algorithm based on prime number

Design and realization of the MSN monitoring system

Computing the k-error 2-adic complexity of $2^{n}-periodic$ sequence based on genetic algorithm

A study of intrusion detection system based on data mining

A location privacy preserving algorithm based on linkage protection

Optimized source authentication scheme for multicast based on merkle tree and TESLA

Research on data streams publishing of privacy preserving

An identity authentication scheme based on USB Key for Trusted Network Connect

An attack graph based network security evaluation model for hierarchical network

Image tamper detection algorithm based on Radon and Fourier-Mellin transform

A novel extended visual cryptography scheme using one shared image

Architectural-enhanced intrusion detection and memory authentication schemes in embedded systems

Design and implementation of an efficient montgomery modular multiplier with a new linear systolic array

Grid resource selection model based on trust moment

Constructing efficient certificate-based encryption scheme with pairing in the standard model

Improved algorithm of pattern matching based on BMHS

A new detection scheme for Echo Hiding

Batch rekeying model based on queueing theory in secure group communication

A provably secure and practical fair E-cash scheme

Design of sensitivity for Direct Trust computation model in trusted networks

Research on supply-chain information management of animal products based on information net chain

Conflicts analysis and resolution for access control policies

Application of intelligent transparent encryption model on Intranet security

The c-secure codes from BIBD and packing design

An improved Kerberos protocol based on fast RSA algorithm

Image information hiding algorithm based on DWT with alterable parameters

A practical implementation of ternary query tree for RFID tag anti-collision

A survey of Identity Management technology

A time window based analytical approach for splitting high-speed network traffic

Notice of RetractionStudy on the construction and demonstration for index system of internal control evaluation

A visual information encryption algorithm for video conference

The design of lightweight secure AODV protocol based on game theory and cryptology

An active defense model for Web Accessing DoS attacks

Research and design of video watermarking DCT algorithm based on MPEG-4 compressed domain

A fusion model of overall trust relationship from multiple attributes in trusted networks based on dynamic entropy gain

Design and statistical analysis of a new chaos block cipher for WSN

Notice of RetractionResearch on standard system of electronic data authentication

An information security policy in converged network environment

Research on symmetric key-based mobile payment protocol security

A structured multi-signature scheme and its security proof

A hypo-optimum feature selection strategy for mouse dynamics in continuous identity authentication and monitoring

Application-oriented cross-CA certificate trust

A key-chain based key management scheme for heterogeneous sensor network

Recursive construction method of Boolean permutations

Identity management with trust relationship and privacy preservation

A secure distributed key management scheme for ad hoc network

Probability analysis and application of XOR difference between $(X+K)mod2^{n}$ and X⊕K

A modified cooperation stimulation mechanism based on Game Theory in ad hoc networks

Input method against Trojan horse and replay attack

Identity attributes quantitative analysis and the development of a metrics model using text mining techniques and information theory

Design and analysis of Bayesian game in role based trust management

Digital spliced image forensics based on edge blur measurement

Automated planning for incident response based on CBR

Verifier-based password authenticated key exchange protocol via elliptic curve

Analysis and Improvement of the Linear MAKEP protocol

Cryptanalysis of a new blind signature based on the DLP

Information hiding for H.264 in video stream switching application

The research of recovery mechanism in the process of the trusted chain transmission

Efficient and scalable multicast key management using attribute based encryption

A new watermarking method based on DWT and Fresnel diffraction transforms

A general scheme for construction of bound entangled states by convex linear combination

An improved method based on random Hash lock

A cryptographic algorithm based on pq-generalized Fibonacci matrix

Watermarking with fast and highly secured encryption for real-time speech signals

Hardware based realtime, fast and highly secured speech communication using FPGA

Performance of the direct sequence spread spectrum system with single-tone jamming

An image encryption scheme based on image complexity

An FDIA approach for aircraft based on the Kalman filter

An efficient and practicable anonymous authentication scheme using smart cards

Adoption of Delayed Feedback Rekeying Algorithm for secure multicast services during handover in mobile WiMAX networks

The study of secure agent-based scheme on health information systems

Group key management based on information flow policy for multi-privileged groups

A compliance policy model for security audit

Statistical modeling of DCT coefficients for audio

Against mobile attacks in Mobile Ad-hoc Networks

Intrusion detection based on model checking timed interval temporal logic

Provably secure identity-based key agreement protocols under simple assumption

An intrusion-resilient signature scheme based on ECDLP

Enabling user privacy in identity management systems

A comparative study on software vulnerability static analysis techniques and tools

A practical customer privacy protection on shared servers

Building the chip based SSL protocol

UAF bug checking model based on dataflow analysis

3D visualization model using cyclic distributions of complex 0–1 sequences

Detecting malicious rootkit web pages in high-interaction client honeypots

A novel blind watermarking scheme based on neural networks for image

3D visual method for logic functions on exhaustive sequences

Worm containment based on double-neighbor lists in P2P overlay networks

Detecting spam comments with malicious users' behavioral characteristics

New client puzzle approach for DoS resistance in ad hoc Networks

Vulnerabilities static detection for Web applications with false positive suppression

An efficient cryptanalysis of a chaotic cryptosystem and its improvement

Cryptanalysis of Harn-Ren's multi-signature scheme

Application traffic classification based on command exchange mode of TCP flows

An effective access control mechanism in home network environment based on SPKI certificates

A PRC based key management method for wireless sensor networks

A robust text digital watermarking algorithm based on fragments regrouping strategy

Practical identity-based signature without random oracle

An alterable-capacity authentication watermarking algorithm with superior localization

Trusted module based secure electronic transaction scheme

A secure mobile RFID architecture for the Internet of Things

A fast regular expression matching algorithm for Deep Packet Inspection

Application independent identity management

A practical dynamic multi-secret sharing scheme

Image steganography based on sparse decomposition in wavelet space

Introducing a framework for security measurements

The integration technology of multi-source heterogeneous EMR Based on semantic grid

A scalable encryption scheme for CCSDS image data compression standard

A dynamic authorization model based on security label and role

A new method to construct DoS attack oriented to Attack Resistance Test

Preimage awareness proofs of two compression functions

Privacy-aware: Tracking and protecting sensitive information using automatic type inference

Qualitative initial risk analysis for selecting risk analysis approach suitable for IT security policy

Study on data acquisition solution of network security monitoring system

On the application of ethernet in a distributed radar system

Vulnerabilities in personal firewalls caused by poor security usability

An efficient Chinese remainder theorem based node capture resilience scheme for Mobile WSNs

The attempt about using image compression method compressed audio

Design of ship dynamic hydrocyclone slop treatment system

FTA applied in management of high-rise buildings fire prevention

Theory and simulation of statistical representation of the Stokes parameters in multilook fields based on polarization basis transformation

Dynamic weighted track fusion algorithm based on track comparability degree

Full interference cancellation for an asymptotically full rate cooperative four relay network

Resolution analysis of the MUSIC-based TOA algorithm

Multi parameter estimation of wideband Chirp signals based on OMP decomposition

A novel sub-optimal PTS algorithm for controlling PAPR of OFDM signals

Image de-noising algorithm study and realization based on wavelet analysis

Affine model for disparity estimation in multiview sequence coding

Empirical mode decomposition of traffic time series

Time-dependent Hurst exponent in traffic time series

Research conflict problems of D-S evidence and its application in multi-sensor information fusion technology

Wideband MIMO channel spatial correlation measurement under different polarization patterns

Image restoration with significant Curvelet coefficients index set constrains

A kind of bit and power allocation approach for OFDM systems in the condition of a fading channel

An obstacle detection algorithm based on U-V disparity map analysis

A novel line detection algorithm in images based on improved Hough Transform and wavelet lifting transform

Fast algorithm for direction of arrival based on time-frequency distributions

The application of grey clustering analysis on social impact assessment of natural forest protection project

A loss-less compression technique for high quality speech signals and its implementation with MPEG-4 ALS for better compression

Research on the relationship between DOP and the number of stations for multilateration system

Research on robust unscented regularized particle filtering

Research and implementation of an improved 800BPS speech coding algorithm

A novel sparse representation algorithm based on local competitions

A multi-source cooperative scheme based on IDMA aided superposition modulation

An audio watermarking algorithm for audio authentication

Subsample time delay estimation in impulsive noise environment

BEM-based soft-in soft-out detection of DUSTM employing cyclic group codes

Blind source separation based on a novel relative gradient

Combination of two adaptive filters for interference mitigation based on space time processing

DCT image watermarking technique based on the mix of time-domain

Image synchronization using watermark as RST invariant descriptors

Remote control of an electrical car with SSVEP-Based BCI

Improved method for detecting the short cycles of LDPC codes

A new underwater sensor networks architecture

An adaptive error control mechanism for wireless media streaming based on GOP fetching and cross-layer design

Distributed scheme based on network coding to construct k -redundant multicast network

A model of the solution of the task distribution and load balance among parallel multiprocessors based on the class 2 of Petri Net

Research on double chaos encryption algorithm based on disturbance

Research on data forwarding mechanism for space information network

Energy-aware routing protocol in fading channel for Mobile Ad Hoc networks

The failure probability at sink node of random linear network coding

An efficient A-DSR routing algorithm for asymmetric space information network

Fault Tolerant and Storage Efficient Directed-Diffusion for wireless sensor networks

N-order prime sequences

Research on adaptive control algorithm of jitter in laser beam pointing and tracking system

A new photonic crystal patch antenna based on EBG structure

Predictions based on the GM model of grey system

Research on the key technologies of DRM intercommunications

Conceptual interoperability model of NCW simulation

Joint Source-Channel Coding based on end-to-end distortion over wireless channels

The research and design of communication power supply based on the proton exchange membrane fuel cell

Optimizing the number of pilot symbols for OFDM systems

Cooperative communication with grouped relays for zero-padding MB-OFDM

Flexible resources reservation scheme for ad hoc networks

Research on fuzzy comprehensive evaluation of enterprise websites

A large family of binary sequences with low correlation

Simulating BB84 protocol in amplitude damping channel

A kind of cyclotomic numbers and Sidel'nikov sequences

Design and implementation of the mobile internet of things based on td-scdma network

The remote intelligent controlling and monitoring system of home appliances based on GPRS/GSM

Research of information dissemination model based on Network Centric Warfare

Research for service fastly setuping and restoration in mesh network

A Cooperative STC Scheme for IEEE 802.16d

Stability analysis for ranking algorithms

A new equation involving the euler function

A low-complexity scheduling scheme for multiuser MIMO system based on Tomlinson-Harashima Precoding

Low-Density Parity-Check codes for asymmetric distributed source coding

On the application of sphere decoding algorithm in overload MIMO systems

Distributed fusion for satellite passive localization using convex combination

Deterministic multiple access wiretap channel

Closed-loop four-antenna transmission schemes based on EO-STBCs with partial feedback

Performance analysis for rectangular QAM modulation with arbitrary bits-to-symbols mapping over rician channel

MSN and QQ in China

Undetected error probability of hamming code for any number of symbols

A simple simi-blind equalization algorithm for precoding single carrier system with frequency domain equalization

An improved geography and overlay routing in urban vehicular environment

A self-optimizing method based on handover for load balancing

Distributed turbo with pre-decoding in relay communication

A novel downlink signaling method for OFDM based cognitive radio system

A format-compliant encryption scheme for JPEG2000 codestream

A novel constant-power bit loading algorithm for QAM modulated OFDM systems

A relay selection scheme for IR-UWB networks based on distance information

On repeated-root cyclic codes and its weight enumirator

A low complexity resource allocation method for relay OFDMA systems

Outage capacity analysis for SIMO Nakagami-m fading channel in spectrum sharing environment

Cooperative relay cognitive interference channel

Cooperative relay cognitive interference channels with causal channel state information

Iterative multi-channel equalization and LDPC decoding for underwater acoustic coherent communications

Achievable rate regions for Relay Channel with Private Messages with states known at the source

Compress-and-forward strategy for Causal Cognitive Interference Channel

Cognitive radio-based interference avoidance schemes for MB-OFDM UWB

Proportional resource allocation for multi-user OFDM systems

The teaching reform research and practice of satellite communications course on CDIO model

Construction of multiple-weight signature pattern codes for optical CDMA Networks

Detecting objects in complex urban area using depth information

Research on the disposal of negative partial product for booth algorithm

Optimization of the compensatory anticathode in the electric fields protection of ship based on evolutionary programming

Hierarchical fuzzy systems as universal approximators

Image splicing detection based on moment features and Hilbert-Huang Transform

Algorithm of ensemble of multi-cassifier based on roughness

Combination rule for belief functions based on improved measure of conflict

Handwritten character recognition via sparse representation and multiple classifiers combination

Distributed log information processing with Map-Reduce: A case study from raw data to final models

A novel scheme of webpage information hiding based on attributes

An effective resources organizational structure in the grid environment

Effects of image lossy compression on palmprint verification performance

Matter element analysis theory to urban public transport system evaluation opinion

Establishement of elliptic curve cryptosystem

Classifying encryption algorithms using pattern recognition techniques

Table of contents

UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation

Content Provider	IEEE Xplore Digital Library
Author	Lin Xi Qinglei Zhou
Copyright Year	2010
Description	Author affiliation: School of Information Engineering, Zhengzhou University, China (Lin Xi; Qinglei Zhou)
Abstract	In this paper new coverage criteria concerning safety and time property for the abstract formal of real-time system are presented and enabled as reachability properties. We make use of the timed automata to formally describe the real-time system and use the length optimal reachability feature of UPPAAL to automatically generate length optimal test sequences for the new coverage criteria. Experiment demonstrates how our technique works and performs.
Starting Page	117
Ending Page	120
File Size	225795
Page Count	4
File Format	PDF
ISBN	9781424469420
e-ISBN	9781424469437
DOI	10.1109/ICITIS.2010.5689613
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-12-17
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Real time systems Real-time system Control systems UPPAAL Coverage criteria Timed automata Automata Time property Rail transportation Length- optimal test Safety Clocks Testing
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in