In the state-of-the-art hardware/software (HW/SW) co-design of embedded systems, there is
a lack of sufficient support for architectural specifications across HW/SW boundaries. Such …

In this paper, we present an automata-theoretic approach to Hardware/ Software (HW/SW)
co-verification. We designed a co-specification framework describing HW/SW systems; …

With the development of the Internet and wide applications of databases, the databases
providers are worrying about their ownership of the databases. Combined with the digital …

Software drivers are usually developed after hardware devices become available. This
dependency can induce a long product cycle. Although co-simulation and co-verification …

In this paper, we present a comprehensive approach to model check- ing component-based
systems (including software, hardware, and embedded systems) through abstraction and …

In the application of the Automatic Fingerprint Identification System (AFIS), some fingerprint
images are noisy and corrupted. In such situation, an effectively enhancement algorithm to …

A stream cipher namely the HSC (hashing stream cipher) which uses a regular one-way
hash function to generate pseudorandom keystream iteratively is proposed. Since the …

Background There was an outbreak of COVID-19 towards the end of 2019 in China, which
spread all over the world rapidly. The Chinese healthcare system is facing a big challenge …

In component-based hardware/software co-verification, properties of an embedded system
are established from properties of its hardware and software components. A major challenge …

In this paper we present ESIDE, an integrated development environment for component-based
embedded systems. It leverages component-based software engineering principles to …