From owner-freebsd-embedded@FreeBSD.ORG Mon Jul 26 11:06:59 2010 Return-Path: Delivered-To: freebsd-embedded@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id A4F3A106566B for ; Mon, 26 Jul 2010 11:06:59 +0000 (UTC) (envelope-from owner-bugmaster@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id D53F58FC0C for ; Mon, 26 Jul 2010 11:06:58 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.4/8.14.4) with ESMTP id o6QB6wIl080636 for ; Mon, 26 Jul 2010 11:06:58 GMT (envelope-from owner-bugmaster@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.4/8.14.4/Submit) id o6QB6wo7080634 for freebsd-embedded@FreeBSD.org; Mon, 26 Jul 2010 11:06:58 GMT (envelope-from owner-bugmaster@FreeBSD.org) Date: Mon, 26 Jul 2010 11:06:58 GMT Message-Id: <201007261106.o6QB6wo7080634@freefall.freebsd.org> X-Authentication-Warning: freefall.freebsd.org: gnats set sender to owner-bugmaster@FreeBSD.org using -f From: FreeBSD bugmaster To: freebsd-embedded@FreeBSD.org Cc: Subject: Current problem reports assigned to freebsd-embedded@FreeBSD.org X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 26 Jul 2010 11:06:59 -0000 Note: to view an individual PR, use: http://www.freebsd.org/cgi/query-pr.cgi?pr=(number). The following is a listing of current problems submitted by FreeBSD users. These represent problem reports covering all versions including experimental development code and obsolete releases. S Tracker Resp. Description -------------------------------------------------------------------------------- o misc/136889 embedded [nanobsd] [path] nanobsd error reporting and other ref p misc/135588 embedded [nanobsd] simple patch for adding amd64 support o misc/52256 embedded [picobsd] picobsd build script does not read in user/s o kern/42728 embedded [picobsd] many problems in src/usr.sbin/ppp/* after c 4 problems total. From owner-freebsd-embedded@FreeBSD.ORG Wed Jul 28 10:40:57 2010 Return-Path: Delivered-To: freebsd-embedded@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 7716B106566C for ; Wed, 28 Jul 2010 10:40:57 +0000 (UTC) (envelope-from hamid@irit.fr) Received: from smtp2.cict.fr (smtp2.cict.fr [195.220.59.17]) by mx1.freebsd.org (Postfix) with ESMTP id E26008FC0A for ; Wed, 28 Jul 2010 10:40:56 +0000 (UTC) Received: from smtp2.cict.fr (localhost.localdomain [127.0.0.1]) by smtp2.cict.fr (8.14.4/8.14.4) with ESMTP id o6SAMLZ2011476 for ; Wed, 28 Jul 2010 12:22:21 +0200 Received: from [172.31.174.231] (stci-hurvois.univ-tlse2.fr [193.55.175.20]) by smtp2.cict.fr (8.14.4/8.14.4) with ESMTP id o6SAMLSk011473; Wed, 28 Jul 2010 12:22:21 +0200 Message-ID: <4C5004DC.90102@irit.fr> Date: Wed, 28 Jul 2010 12:22:20 +0200 From: Brahim HAMID User-Agent: Thunderbird 2.0.0.24 (X11/20100411) MIME-Version: 1.0 To: mailinglist@chesworkshop.org, freebsd-embedded@freebsd.org, rtf-announce@opengroup.org Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Virus-Scanned: clamav-milter 0.96.1 at smtp2.cict.fr X-Virus-Status: Clean Cc: Subject: International Workshop on Security and Dependability for Resource Constrained Embedded Systems -CFP X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Jul 2010 10:40:57 -0000 Please disseminate the S&D4RCES workshop CFP to your colleagues, project and industrial partners and phd students that could be interested. Please accept our apologies in case of cross-posting. ======================================================================== S&D4RCES: International workshop on Security and Dependability for Resource Constrained Embedded Systems (Secure and dependable RCES by design) in conjunction with SAFECOMP 2010 conference (http://www.safecomp.org/) Vienna, Austria, 14 September 2010 http://www.irit.fr/SD4RCES/ ======================================================================== - Important dates: * Paper submission: August 13, 2010 * Acceptance Notification: August 25, 2010 * Camera Ready version: September 1, 2010 * Workshop day: September 14, 2010 - Publication: Accepted papers will be published in the ACM Digital Library in the ICPS series - CFP: The main focus of SD4RCES is on the topic of making security and dependability expert knowledge available to Resource Constrained Embedded Systems (RCES) engineering processes. Special emphasis will be devoted to promote discussion and interaction between researchers and practitioners focused on the particularly challenging task to efficiently integrate security and dependability solutions within the restricted available design space for RCES. Furthermore, one important focus is on the potential benefits of the combination of model-driven engineering with pattern-based representation of security and dependability solutions. The workshop aims to bring together researchers from various fields involved in the development and deployment of RCES with a particular focus on the transfer of results from fundamental research to the industrial development of RCES.We believe that the synergy between researchers working in different aspects of this area will produce important benefits. The objective of this workshop is to foster an exchange of ideas among practitioners, researchers and industry involved in the deployment of secure and dependable resource-constrained embedded systems. The exchange of concepts, prototypes, research ideas, and other results which contribute to the academic arena and also benefit business and industrial communities, is of particular interest. Some of the topics that we seek to include in the workshop are related to the development of models and tools to support the inclusion of security and dependability (SD) issues into the RCES engineering process. Topics of interest include, but are not limited to: * Verification, testing and validation of SD by design in RCES * Design process of SD patterns * Model-based repository of SD patterns for RCES * Formalization of SD properties at the pattern level * SD requirements engineering for RCES * Inheritance of SD properties upon integration of patterns * Integration process of SD patterns * Customization of application sector specific processes * Support tools for assisting modeling, deployment and configuration of SD by design * RCES development and engineering processes * Case studies, empirical results, experience reports, etc... - Submission: We are inviting the submission of papers with high quality research contributions, work in progress, experimental and ongoing projects results. The following types of submission are accepted: * Long papers (10 pages): reporting substantial, completed, and previously unpublished research. * Short papers (6 pages): describing work in progress or industrial experiences, * Format: All submitted papers must be written in English and conform to the ACM double column format (10pt, single-space, double-column and include an abstract of up to 150 words...). The format of the submission should follow ACM Formatting Guidelines (http://www.acm.org/sigs/publications/proceedings-templates). The submission should be done in PDF-format via our submission system before August 13, 2010. - The workshop program: * Presentations of research papers * Work in progress * Industrial presentations * Ongoing projects * Working sessions and Panel discussion - Co-organizers : * Brahim Hamid (IRIT-University of Toulouse , France), brahim.hamid@irit.fr * Carsten RUDOLPH (Fraunhofer Institute for Secure Information Technology SIT), carsten.rudolph@sit.fraunhofer.de * Christoph RULAND (University of Siegen), christoph.ruland@uni-siegen.de - Program Committee: * Yemine Ait Ameur (LISI/ENSMA-UP, Univ. Poitiers) * Jean-Michel Bruel (IRIT, Univ. Toulouse) * Mireille Blay-Fornarino(I3S, Univ. Nice) * Pierre Castéran (LABRI, Univ. Bordeaux) * Nora Cuppens (ENST Bretagne) * Khalil Drira (LAAS-CNRS) * Amnon Eden (Foundations and Applications Research Group, Univ. Essex) * Mamoun Filali (IRIT, Univ. Toulouse) * Andreas Fuchs (Fraunhofer SIT) * Sigrid Gürgens (Fraunhofer SIT) * Christophe Gransart (INRETS) * Cyril Grepet (Trialog) * Brahim Hamid (IRIT, Univ. Toulouse) * Erno Jeges (SEARCH lab, Hungary) * Christophe Jouvray (Trialog) * Oliver Jung (Research Center for Telecommunications, Vienna) * Antonio Mana (Univ. Malaga) * Fabio Massacci (Univ. Trento) * Mohamed Mosbah (LABRI, Univ. Bordeaux) * Simin Nadjm-Tehrani (Real-time systems lab, Univ. Linköping ) * Jan Pelzl (Escrypt) * Christian Percebois (IRIT, Univ. Toulouse) * Antonio Perez (Ikerlan-K4) * Ansgar Radermacher (CEA List) * Carsten Rudolph (Fraunhofer SIT) * Christoph Ruland (Univ. Siegen) * Maurizio Palesi (Univ. Catania) * Francesca Saglietti (Univ. Erlangen-Nurnberg) * Lionel Seinturier (LIFL-INRIA ADAM, Univ. Lille) * François Terrier (CEA LIST) * Salvador Trujillo (Ikerlan-K4) * Didier Van-Den-Abeele (Transport/ALSTOM) * Tulio Vardanega (Univ. Padou) * François Vernada (LAAS-CNRS) Looking forward to your submissions and participation S&D4RCES co-organizers, - Visit the International Workshop "S&D4RCES" in Vienna, Austria September 14, 2010 ! For further information see http://www.irit.fr/SD4RCES -- Dr. Brahim HAMID IRIT, Institut de Recherche en Informatique de Toulouse (computer science research institute of toulouse) 118 Route de Narbonne, 31062 Toulouse Cedex 9 phone/fax: +33 (0)5 6150 2386 / 4173 e-mail: hamid@irit.fr web: http://www.irit.fr/~Brahim.Hamid Before printing, think about the environment From owner-freebsd-embedded@FreeBSD.ORG Thu Jul 29 17:52:41 2010 Return-Path: Delivered-To: freebsd-embedded@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 4FCA0106564A for ; Thu, 29 Jul 2010 17:52:41 +0000 (UTC) (envelope-from kalibera@dsrg.mff.cuni.cz) Received: from d3s.mff.cuni.cz (kdss.ms.mff.cuni.cz [195.113.20.55]) by mx1.freebsd.org (Postfix) with ESMTP id ECE968FC17 for ; Thu, 29 Jul 2010 17:52:40 +0000 (UTC) Received: from eduroam77.ms.mff.cuni.cz ([195.113.21.77]) by d3s.mff.cuni.cz with esmtpsa (TLSv1:CAMELLIA256-SHA:256) (Exim 4.72) (envelope-from ) id 1OeWNt-0007vb-Bq for freebsd-embedded@freebsd.org; Thu, 29 Jul 2010 18:55:06 +0200 Message-ID: <4C51B26A.9010908@dsrg.mff.cuni.cz> Date: Thu, 29 Jul 2010 18:55:06 +0200 From: Tomas Kalibera User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.1.11) Gecko/20100711 Thunderbird/3.0.6 MIME-Version: 1.0 To: freebsd-embedded@freebsd.org Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Score: -2.9 X-Spam-Level: -- X-Mailman-Approved-At: Thu, 29 Jul 2010 18:02:47 +0000 Subject: Cfp - Languages, Compilers, Tools and Theory,for Embedded Systems (LCTES 2011) X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 29 Jul 2010 17:52:41 -0000 ********************************************************* LCTES 2011 - FIRST CALL FOR PAPERS ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (In conjunction with CPS Week 2011) Chicago, Illinois, USA, April 12-14 2011 http://lctes2011.elis.ugent.be ********************************************************* Deadline: 8 October 2010. Embedded system design faces many challenges both with respect to functional requirements and non-functional requirements, many of which are conflicting. They are found in areas such as design and developer productivity, verification, validation, maintainability, and meeting performance goals and resource constraints. Novel design-time and run-time approaches are needed to meet the demand of emerging applications and to exploit new hardware paradigms, and in particular to scale up to multicores and distributed systems built from multicores. LCTES 2011 solicits papers presenting original work on programming languages, compilers, tools, theory and architectures that help in overcoming these challenges. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications. Papers are solicited on, but not limited to, the following topics in embedded and cyber-physical systems: * Programming language challenges, including: Domain-specific languages Features to exploit multicore, reconfigurable, and other emerging architectures Features for distributed, adaptive, and real-time control embedded systems Language capabilities for specification, composition, and construction of embedded systems Language features and techniques to enhance reliability, verifiability, and security Virtual machines, concurrency, inter-processor synchronization, and memory management * Compiler challenges, including: Interaction between embedded/cyber-physical architectures, operating systems, and compilers Interpreters, binary translation, just-in-time compilation, and split compilation Support for enhanced programmer productivity Support for enhanced debugging, profiling, and exception/interrupt handling Optimization for low power/energy, code and data size, and best-effort and real-time performance Parametrized and structural compiler design space exploration and autotuning * Tools for analysis, specification, design, and implementation, including: Hardware, system software, and application software, and their interfaces Distributed real-time control, media players, and reconfigurable architectures System integration and testing Performance estimation, monitoring, and tuning Run-time system support for embedded and cyber-physical systems Design space exploration tools Support for system security and system-level reliability Approaches for cross-layer system optimization * Theory and foundations of embedded and cyber-physical systems, including: Predictability of resource behavior: energy, space, time Validation and verification, in particular of concurrent and distributed systems Formal foundations of model-based design as basis for code generation, analysis, and verification Mathematical foundations for embedded systems Models of computations for embedded applications * Novel embedded and cyber-physical architectures, including: Design and implementation of novel architectures Workload analysis and performance evaluation Architecture support for new language features, virtualization, compiler techniques, and debugging tools Submission deadline: 8 October 2010. Page limit, format, blind review and other Submission guidelines: see http://lctes2011.elis.ugent.be. There will also be a call for posters and work-in-progress presentations. The conference proceedings will be published by the ACM. The authors of the best papers of the conference will be invited to submit an extended version to a special issue on LCTES of ACM Transactions in Embedded Computing Systems. The best paper and the best presentation will receive an award. ********************************************************* PROGRAM COMMITTEE Abdoulaye Gamatié (CNRS, France) Alastair Reid (ARM Ltd, United Kingdom) Albert Cohen (INRIA, France) Ann Gordon-Ross (University of Florida, USA) Annie Liu (State University of New York at Stony Brook, USA) Antony Hosking (Purdue University, USA) Aviral Shrivastava (Arizona State University, USA) Daniel Kästner (Absint, Germany) David F. Bacon (IBM T.J. Watson Research Center, USA) Florence Maraninchi (VERIMAG, France) Frank Mueller (North Carolina State University, USA) Jack Davidson (University of Virginia, USA) Jaejin Lee (Seoul National University, Korea) Jan Reineke (UC Berkeley, USA) John Regher (University of Utah, USA) Laura Pozzi (University of Lugano, Switzerland) Peter Marwedel (Technische Universität Dortmund, Germany) Philip Koopman (Carnegie Mellon University, USA) Praveen Raghavan (IMEC, Belgium) Rajeev Barua (University of Maryland, USA) Rodric Rabbah (IBM T.J. Watson Research Center, USA) Shangping Ren (Illinois Institute of Technology, USA) Stephen A. Edwards (Columbia University, USA) Tulika Mitra (National University of Singapore, Singapore) Zili Shao (Hong Kong Polytechnic University, Hong Kong) STEERING COMMITTEE Bruce Childers (University of Pittsburgh, USA) Christoph Kirsch (Salzburg University, Austria) Jaejin Lee (Seoul National University, Korea) John Regehr (University of Utah, USA) Koen De Bosschere (Ghent University, Belgium) Kristian Flautner (ARM Ltd., United Kingdom) Mahmut Kandemir (Pennsylvania State University, USA) Mary Jane Irwin (Pennsylvania State University, USA) Santosh Pande (Georgia Institute of Technology, USA) Zhiyuan Li (chair, Purdue University, USA) AT-LARGE MEMBERS David Whalley (University of Florida, USA) Annie Liu (State University of New York at Stony Brook, USA) Frank Mueller (North Carolina State University, USA) Peter Marwedel (Technische Universität Dortmund, Germany) Reinhard Wilhelm (Saarland University, Germany) GENERAL CHAIR Jan Vitek (Purdue University, USA) PROGRAM CHAIR Bjorn De Sutter (Ghent University, Belgium) PUBLICITY CHAIR Tomas Kalibera (Charles University, Czech Republic) WORK-IN-PROGRESS/POSTER CHAIR Jan Reineke (UC Berkeley, USA) *********************************************************