Entry Thoen:1995:SSR from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Thoen:1995:SSR,
  author =       "Filip Thoen and Marco Cornero and Gert Goossens and
                 Hugo De Man",
  title =        "Software synthesis for real-time information
                 processing systems",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "11",
  pages =        "60--69",
  month =        nov,
  year =         "1995",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:17:12 MST 2003",
  bibsource =    "http://portal.acm.org/; http://www.acm.org/pubs/toc/",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/plan/216636/p60-thoen/",
  abstract =     "Software synthesis is a new approach which focuses on
                 the support of embedded systems without the use of
                 operating-systems. Compared to traditional design
                 practices, a better utilization of the available time
                 and hardware resources can be achieved with software
                 synthesis, because the static information provided by
                 the system specification is fully exploited and an
                 application specific solution is automatically
                 generated. On-going research on a software synthesis
                 approach for real-time information processing systems
                 is presented which starts from a concurrent process
                 system specification and tries to automate the mapping
                 of this description to a single processor. An internal
                 representation model which is well suited for the
                 support of concurrency and timing constraints is
                 proposed, together with flexible execution models for
                 multi-tasking with real-time constraints. The method is
                 illustrated on a personal terminal receiver demodulator
                 for mobile satellite communication.",
  acknowledgement = ack-nhfb,
  affiliation =  "IMEC, Leuven, Belgium",
  classification = "C6110B (Software engineering techniques); C6110F
                 (Formal methods); C6110P (Parallel programming); C6150J
                 (Operating systems); C6150N (Distributed systems
                 software); C7410F (Communications computing)",
  confname =     "LCT-RTS '95. Proceedings of the ACM SIGPLAN 1995
                 workshop on Languages, compilers, \& tools for
                 real-time systems, June 21--22, 1995, La Jolla,
                 California",
  keywords =     "Application specific solution; Concurrency; Concurrent
                 process system specification; design; Embedded system
                 support; Flexible execution models; Hardware resources;
                 Internal representation model; management; Mobile
                 satellite communication; Multitasking; performance;
                 Personal terminal receiver demodulator; Processor;
                 Real-time constraints; Real-time information processing
                 systems; Software synthesis; Static information; System
                 specification; theory; Time resources; Timing
                 constraints",
  subject =      "{\bf I.2.2} Computing Methodologies, ARTIFICIAL
                 INTELLIGENCE, Automatic Programming, Program synthesis.
                 {\bf C.3} Computer Systems Organization,
                 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS,
                 Real-time and embedded systems. {\bf D.4.7} Software,
                 OPERATING SYSTEMS, Organization and Design, Real-time
                 systems and embedded systems. {\bf H.2.4} Information
                 Systems, DATABASE MANAGEMENT, Systems. {\bf C.4}
                 Computer Systems Organization, PERFORMANCE OF SYSTEMS.
                 {\bf F.2.2} Theory of Computation, ANALYSIS OF
                 ALGORITHMS AND PROBLEM COMPLEXITY, Nonnumerical
                 Algorithms and Problems, Sequencing and scheduling.",
  thesaurus =    "Demodulators; Formal specification; Mobile satellite
                 communication; Operating system kernels; Parallel
                 programming; Real-time systems; Telecommunication
                 computing; Timing",
}

Related entries