ArtistDesign NoE

30. Software Tools for Technology Transfer

Joseph Sifakis — 2006-09-15T14:53:40Z

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. It is particularly intended to offer a tool-oriented link between academic research and industrial practice.

Tool support for the development of reliable and correct computer systems is of growing importance: a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields: tool builders often are unaware of, and thus unable to use, work done by others. The situation is even more critical when considering the transfer of technology into industrial practice.

STTT remedies this situation by (1) publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques, (2) channelling comments, queries, and feedback about tools and papers in the Online Forum with highlights published electronically, and (3) enabling via the Electronic Tool Integration (ETI) platform even non-experts to experiment with the integrated tools. - As STTT addresses a heterogeneous audience, great editorial emphasis is placed on clear, jargon-free exposition.

STTT focuses on three major technical themes:
Construction and analysis issues: hierarchical and compositional approaches; syntax-oriented vs. semantic methods; synthesis vs. verification; formal support of the entire system life cycle, including requirements capture, design, implementation, verification, testing maintenance; analysis of non-functional aspects of system behavior, such as realtime, probability, and efficiency
Practicality issues: performance, genericity, and us-ability of tools; case studies and experience reports; industrial use and feedback
Generic tool issues: paradigms (fully automated vs. interactive approaches); design issues (modularity, efficiency, portability, integrability, reusability); automatic support (tool generators, integrators, and interface builders); user interfaces (graphics,hypertext, retrieval)

Electronic Tool Integration (ETI)

The ETI platform is a refereed, interactive tool repository accessible as an online service. Visitors may experiment with individual tools using benchmarks as well as their own examples. ETI's automatic interfacing support helps in constructing and investigating heterogeneous tool combinations for solving complex tasks. A graphical interface, hypertext-based documentation, and a sophisticated retrieval mechanism are designed to provide intuitive guidance. - ETI is not a distribution platform: tool builders retain all legal rights to their software, and responsibilities for it.

See it online!

30. Formal Methods in System Design

Joseph Sifakis — 2006-09-15T14:46:26Z

The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.

The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design. Papers describing original work in all aspects of formal methods as they relate to this general area are invited.

Abstracted/Indexed in: ACM Computing Reviews, ACM Guide To Computing Literature, Compendex, CompuMath Citation Index, CompuScience, Computer and Information Systems Abstracts, Electronics and Communications Abstracts, Engineering Index Monthly, Inspec, ISI Alerting Services, Science Citation Index Expanded, SCOPUS, Solid State and Superconductivity Abstracts, Zentralblatt Math.

See it online!

Design Automation and Test in Europe

Jan Madsen, Joseph Sifakis, Lothar Thiele — 2006-09-01T09:00:47Z

The 10th DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.

The five-day event consists of a conference with plenary invited papers, regular papers, panels, hot-topic sessions, tutorials and workshops, two special focus days and a track for executives. The scientific conference is complemented by a commercial exhibition showing the state-of-the-art in design and test tools, methodologies, IP and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, e.g. automotive, wireless, telecom and multimedia applications. The organisation of user group meetings, fringe meetings, a university booth, a PhD forum, vendor presentations and social events offers a wide variety of extra opportunities to meet and exchange information on relevant issues for the design and test community.

TECHNICAL CONFERENCE

Keynotes, scientific papers, interactive presentations, design records, discussion panels, hot-topics, tutorials and workshops. This year there are two dedicated days of specially focused conference sessions in the following areas of design applications: Ubiquitous Computing and Communications Space and Aeronautics. A full list of topics is available online.

EXHIBITION

April 17-19, 2007 Over 100 companies showing the best in design, verification and test tools and platforms for embedded systems and electronic devices, IP cores and design services.

See it online!

See also the Workshop Organised by Artist!

ARTIST FP5 Roadmap

Bruno Bouyssounouse, Joseph Sifakis — 2006-08-31T09:01:17Z

ARTIST FP5 Consortium

The ARTIST FP5 workplan includes roadmapping work on selected topics in embedded systems design. This work is carried out by top European researchers, with the participation of high-level technical experts from major industrial partners, and high-technology SMEs in the area. The final roadmap (492 pages) is published in Springer Verlag's LNCS series.

Buy it online!!

The ARTIST Roadmap for Research and Development covers:

Hard Real-Time Development Environments
Component-based Design and Integration Platforms
Adaptive Real-Time Systems for Quality of Service Management
Execution Platforms

Please note that this roadmap is separate from the Artist2 FP6 Network of Excellence.

250.Foundations and Applications of Component-based Design

Joseph Sifakis, Lothar Thiele — 2006-08-25T08:29:00Z

Organizer Joseph Sifakis & Lothar Thiele

Date 26 October 2006 (within EmSoft'06)

Venue Seoul, South Korea

Main Objectives Discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation, especially frameworks for handling non-functional and resource constraints, design under conflicting dependability criteria, trade-offs between average performance and predictability. The workshop aims to gather together researchers from computer science and electrical engineering and will seek a synthesis between the the underlying paradigms and techniques. The focus is not only on fundamental results but also on their implementation in methods and tools and their concrete application in areas such as automotive, avionics, consumer electronics and automation.

More information

ARTIST2 Spring School China: Models, Methods and Tools for Embedded Systems

Joseph Sifakis — 2006-08-25T08:25:08Z

Organizer Joseph Sifakis

Date 3 -15 April 2006

Venue Xi'an, China

Main Objectives provide a forum for young professors, lecturers, researchers, postgraduates (advanced master and PhD students) working in the fields of modelling, design, implementation, validation and performance analysis of embedded systems as well as engineers from industry with practical background with the development of embedded systems.