Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A tlm-based platform to specify and verify component-based real-time
  systems   This paper is about modeling and verification languages with their pros and
cons. Modeling is dynamic part of system development process before
realization. The cost and risky situations obligate designer to model system
before production and modeling gives designer more flexible and dynamic image
of realized system. Formal languages and modeling methods are the ways to model
and verify systems but they have their own difficulties in specifying systems.
Some of them are very precise but hard to specify complex systems like TRIO,
and others do not support object oriented design and hardware/software
co-design in real-time systems. In this paper we are going to introduce systemC
and the more abstracted method called TLM 2.0 that solved all mentioned
problems.

12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
2
The categories of this paper are: math