From danilo.ansaloni at usi.ch Tue Jan 7 20:21:29 2014 From: danilo.ansaloni at usi.ch (danilo.ansaloni at usi.ch) Date: Tue, 7 Jan 2014 20:21:29 +0000 Subject: [SDLnews] ICPE 2014 - Deadline approaching Message-ID: CALL FOR PAPERS ICPE 2014 5th ACM/SPEC International Conference on Performance Engineering Dublin, Ireland, March 23-26, 2014 http://icpe2014.ipd.kit.edu/ A Joint Meeting of WOSP/SIPEW sponsored by ACM SIGMETRICS and ACM SIGSOFT in Cooperation with SPEC. ---------------------------------------------------------------------- IMPORTANT DATES Research Papers closed Industrial / Experience Papers closed Tutorial Proposals closed Work-in-Progress and Vision Papers Jan. 13, 2014 Poster and Demo Papers Jan. 13, 2014 ---------------------------------------------------------------------- SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. ICPE is a joint meeting of the ACM Workshop on Software and Performance (WOSP) and the SPEC International Performance Evaluation Workshop (SIPEW). The conference brings together researchers and industry practitioners to share and present their experience, to discuss challenges, and to report state-of-the-art and in-progress research on performance engineering. Topics of interest include, but are not limited to: Performance and software development processes Performance modeling and prediction Performance measurement, and experimental analysis Benchmarking, configuration, sizing, and capacity planning System management/optimization Performance in Cloud, virtualized and multi-core systems Performance and power Performance modeling and evaluation in other domains For more details, please visit: http://icpe2014.ipd.kit.edu/call_for_papers/ Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research, industrial experience reports, and work-in-progress/vision papers. Different acceptance criteria apply for each category, please refer to the website for details. At least one author of each accepted paper is required to attend the conference and present the paper. Only the accepted and presented papers will be published in the ICPE 2014 conference proceedings that will be published by ACM and included in the ACM Digital Library. ORGANIZING COMMITTEE General Chairs Klaus-Dieter Lange, Hewlett-Packard, USA John Murphy, University College Dublin, Ireland Program Chairs Walter Binder, University of Lugano, Switzerland Jose Merseguer, Universidad de Zaragoza, Spain Industrial Chair Raghunath Nambiar, Cisco Systems, USA Tutorial Chair Alexandru Iosup, TU Delft, Netherlands Demos and Posters Chairs Kirk W. Cameron, Virginia Tech, USA Anthony Ventresque, University College Dublin, Ireland Publication Chair Kevin Casey, Dublin City University, Ireland Finance Chair Anja Bog, SAP, USA Publicity Chairs Danilo Ansaloni, University of Lugano, Switzerland Bob Cramblitt, Cramblitt & Company, USA Registration Chair Nicola Stokes, University College Dublin, Ireland Awards Chairs Samuel Kounev, Karlsruhe Institute of Technology, Germany Meikel Poess, Oracle, USA Local Organization Chair Patrick McDonagh, Dublin City University, Ireland Web Chair Cathy Sandifer, SPEC, USA RESEARCH PAPERS - PROGRAM COMMITTEE Jose Nelson Amaral, University of Alberta, Canada Alberto Avritzer, Siemens Corporate Research, USA Steffen Becker, University of Paderborn, Germany Simona Bernardi, Centro Universitario de la Defensa, Spain Steve Blackburn, Australian National University, Australia Andre Bondi, Siemens Corporate Research, USA Edson Borin, Universidade de Campinas, Brazil Thouraya Bouabana-Tebibel, ESI, Algeria Radu Calinescu, University of York, UK Lydia Chen, IBM Research Zurich Lab, Switzerland Shigeru Chiba, The University of Tokyo, Japan Vittorio Cortellessa, Universita' di L'Aquila, Italy Tony Field, Imperial College London, UK Vincenzo Grassi, University of Roma "Tor Vergata", Italy Lars Grunske, TU Kaiserslautern, Germany Wilhelm Hasselbring, University of Kiel, Germany Matthias Hauswirth, University of Lugano, Switzerland Alexandru Iosup, TU Delft, Netherlands Carlos Juiz, University of the Balearic Islands, Spain Jorge Julvez, Universidad de Zaragoza, Spain David Kaeli, Northeastern University, USA Samuel Kounev, Karlsruhe Institute of Technology, Germany Anne Koziolek, University of Zurich, Switzerland Heiko Koziolek, ABB Corporate Research, Germany Diwakar Krishnamurthy, University of Calgary, Canada Doug Lea, SUNY Oswego, USA Yan Liu, Concordia University, Canada Stefano Marrone, Seconda Universita di Napoli, Italy Daniel Menasce, George Mason University, USA Raffaela Mirandola, Politecnico di Milano, Italy David Pearce, Victoria University of Wellington, New Zealand Diego Perez-Palacin, Politecnico di Milano, Italy Dorina Petriu, Carleton University, Canada Jerry Rolia, HP Labs, Canada Giuseppe Serazzi, Politecnico di Milano, Italy Catia Trubiani, Universita' di L'Aquila, Italy Petr Tuma, Charles University in Prague, Czech Republic Murray Woodside, Carleton University, Canada Peng Wu, IBM T. J. Watson Research Center, USA Thomas Wuerthinger, Oracle Labs, Austria Xiaoyun Zhu, VMware, USA INDUSTRY PAPERS - PROGRAM COMMITTEE Jeremy A. Arnold, IBM, USA Anirban Basu, Computer Society of India, India Jeffrey J. Blessing, Milwaukee School of Engineering, USA Hansfried Block, Fujitsu, Germany Andrew Bond, Red Hat, USA Wen Chen, University of North Dakota, USA Mathew Colgrove, The Portland Group, USA Malte Dreyer, Humboldt University, Germany Debo Dutta, Cisco Systems, USA Diwakar Krishnamurthy, University of Calgary, Canada Qais Noorshams, Karlsruhe Institute of Technology, Germany Kamesh Raghavendra, NetApp, USA Lisa Roderick, VMware, USA David Schmidt, Hewlett-Packard, USA Sanjay Sharma, Intel, USA Cloyce Spradling, Oracle, USA Mike Tricker, Microsoft, USA Jeff Underhill, ARM, USA SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research, industrial and experience reports, and work-in-progress/vision papers. Different acceptance criteria apply for each category; please visit: http://icpe2014.ipd.kit.edu/ for details. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2014 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference there will be a call for a Special Issue on Automation in Software Performance Engineering of the Springer Automated Software Engineering Journal. For submission instructions, please visit: http://icpe2014.ipd.kit.edu/ From gunter.mussbacher at mcgill.ca Wed Jan 8 18:40:41 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Wed, 8 Jan 2014 13:40:41 -0500 (EST) Subject: [SDLnews] RE'14 is coming to scenic Karlskrona, Sweden! (CfP: 22nd IEEE Intl Requirements Engineering Conference) Message-ID: <56729.142.157.37.189.1389206441.squirrel@mail.cs.mcgill.ca> The next RE Conference, the 22nd IEEE International Requirements Engineering Conference (RE'14), will be held in scenic Karlskrona, Sweden, from the 25th to the 29th of August, 2014. http://www.re14.org The whole RE'14 team and Tony, Robyn, Marjo and Sarah in their roles as General Chair, Program Chair and Industry Track Co-Chairs are extending a sincere invitation to you to participate in and contribute to RE'14. RE'14 has a dual theme focused on innovation: - Innovation *in* Requirements Engineering considers new ideas and breakthroughs in the area. - Innovation *through* Requirements Engineering centers on how its practices, processes, models, methods and frameworks enable and support innovation in product development. RE'14 welcomes submissions in a variety of research and industry paper categories. Participation in RE'14 gives you a chance to meet researchers, industrial practitioners, educators, and students interested in requirements engineering and to explore Sweden's southernmost archipelago, from its 1,993 islands, skerries and islets to its floating Swedish sauna boats. Submissions: http://www.re14.org/submit ************************************************* Jan 27th: Workshop Proposals Feb 17th: Intent to Submit Tutorial Proposals Mar 03rd: Tutorial Proposals Mar 03rd: Paper Abstracts (Research and Industry) Mar 10th: Full Papers (Research and Industry) ************************************************* Why not take a few moments to look at the website and the calls and give serious consideration to making a contribution? Please forward this email to your colleagues and tell them about this exciting opportunity to come to Karlskrona, Sweden, for the 22nd RE Conference. If you have any questions about RE'14, do not hesitate to email the organizing team (http://www.re14.org/oc). We look forward to welcoming you to Karlskrona, Tony Gorschek, General Chair Blekinge Tekniska H?gskola, Sweden Robyn Lutz, Program Chair Iowa State University, USA Marjo Kauppinen, Industry Track Co-Chair Aalto University, Finland Sarah C. Gregory, Industry Track Co-Chair Intel Corporation, USA and the whole RE'14 Team. RE'14 KEY FACTS SHEET Important Dates in 2014 (http://www.re14.org/dates): Jan 27th: Workshop Proposals Feb 17th: Intent to Submit Tutorial Proposals Mar 03rd: Tutorial Proposals Mar 03rd: Abstracts for Research and Industry Papers Mar 10th: Full Research and Industry Papers Apr 14th: Panel & Interactive Proposals Apr 14th: Doctoral Symposium Submissions Apr 14th: Posters & Tool Demos May 19th: Author Notification Jun 20th: Camera Ready Submission Aug 25th-29th: RE'14 Conference in Karlskrona Program Committee: http://www.re14.org/pc Industry Committee: http://www.re14.org/ic Organizing Committee: http://www.re14.org/oc Program Board: http://www.re14.org/pb From gunter.mussbacher at mcgill.ca Wed Feb 5 00:59:27 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Tue, 4 Feb 2014 19:59:27 -0500 (EST) Subject: [SDLnews] Deadline approaching: 22nd IEEE Intl Requirements Engineering Conference Message-ID: <21019.216.239.68.40.1391561967.squirrel@mail.cs.mcgill.ca> Call for Papers, Workshops and Tutorials http://www.re14.org/ A gentle reminder for the approaching deadlines on Jan 27 for workshop proposals, Feb 17 for intent to submit tutorial proposals, Mar 3 for tutorial proposals, Mar 3 for paper abstracts and Mar 10 for full papers. 22nd IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'14) Karlskrona, Sweden, August 25th-29th, 2014 There are still a few weeks left to the deadlines. So why not take a few moments to look at the website and the calls and give serious consideration to making a contribution. Submissions: http://www.re14.org/submit Many thanks, Tony Gorschek, General Chair - Blekinge Tekniska H?gskola, Sweden Robyn Lutz, Program Chair - Iowa State University, USA Marjo Kauppinen, Industry Track Co-Chair - Aalto University, Finland Sarah C. Gregory, Industry Track Co-Chair - Intel Corporation, USA and the whole RE'14 Team. RE'14 KEY FACTS SHEET: Important Dates: http://www.re14.org/dates Program Committee: http://www.re14.org/pc Industry Committee: http://www.re14.org/ic Organizing Committee: http://www.re14.org/oc Program Board: http://www.re14.org/pb From danilo.ansaloni at usi.ch Wed Feb 5 09:59:08 2014 From: danilo.ansaloni at usi.ch (danilo.ansaloni at usi.ch) Date: Wed, 5 Feb 2014 09:59:08 +0000 Subject: [SDLnews] ICPE 2014 - Advance Registration Message-ID: REGISTRATIONS ARE OPEN! ICPE 2014 5th ACM/SPEC International Conference on Performance Engineering Dublin, Ireland, March 23-26, 2014 http://icpe2014.ipd.kit.edu/ A Joint Meeting of WOSP/SIPEW sponsored by ACM SIGMETRICS and ACM SIGSOFT in Cooperation with SPEC. ------------------------------------------------------------------------ Advance registration is available now through 21 February at http://icpe2014.ipd.kit.edu/registration/. Highlights of ICPE 2014 include: - First-day workshops on hot topics in cloud service scalability and large-scale testing. - First-day tutorials on topics such as energy efficiency benchmarking framework, pattern-driven performance engineering for multicore systems, Kieker monitoring framework, performance unit testing, GPUs plus CPUs, and network performance engineering. - Major keynotes by: * Toyotaro Suzumura - IBM Research (Tokyo), a leading researcher of highly scalable graph search algorithms on supercomputers. * Petr Tuma - Charles University (Czech Republic), who leads a research group that has made major contributions to performance evaluation in areas such as middleware, regression testing and benchmark accuracy. * Xiaoyun Zhu - VMware (U.S.), who develops automated resource and performance management solutions for virtualized datacenters and applications in cloud environments. - Papers from leading researchers and practitioners who share their experience, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems. - A world-class venue in the exciting city of Dublin at the beginning of Spring. For complete information, visit: http://icpe2014.ipd.kit.edu/icpe2014/ From rickreed at tseng.co.uk Mon Feb 10 16:20:08 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Mon, 10 Feb 2014 16:20:08 +0000 Subject: [SDLnews] Fwd: SDL Simulator References: <20140209215159.5759f3e555c6252d5fee521de4bc5106.dc659e08ad.wbe@email19.asia.secureserver.net> Message-ID: Can anyone answer this? (see below) Begin forwarded message: > From: > Subject: RE: SDL Simulator > Date: 10 February 2014 04:51:59 GMT > To: "Rick Reed" > >> Hi >> >> Thanks for your reply. I am using SDL Telelogic to run the Demon Game simulator . I have a client code (C program) that communicates with the Simulator. Whta i need is that i want to send the signals from client to the simulator and vice-versa. For that i am using two methods. >> i) Interfacing with Postmaster. >> ii) Introducing tlayer.c and tlayer .h >> >> When i interface with postmaster i can send signals from Client to simulator.But the reverse is not happening. The signals sending from client from client is received at the target in an uneven form. i.e.When i send 2 signals the fisrt signal is displayed. sometimes i have to send more than 2 signals for a display. >> >> In the postmaster interfacing how exactly the communication happens ? is it through some socket ? >> If is through sockets how we give the IP and Port number? >> Or can we use unix sockets ? >> >> When i use tlayer.c the problem is that i couldn't connect the client socket with the Target. What can be the possible reasons for the socket not connecting ? >> >> >> With Regards >> Arun Joy > > -------- Original Message -------- > Subject: Re: SDL Simulator > From: Rick Reed > Date: Fri, February 07, 2014 9:02 am > To: > > On 7 Feb 2014, at 06:11, wrote: > >> Hi >> >> I am creating an SDL simulator program. I have a sample program Demon Game. what i am doing is accessing the Demon Game simulator using a client program. The problem is that i can send signals from client to server[Demon Game] but the reverse is not possible. So how exactly the simulation in sdl works ? Is it using TCP socket communication ? if yes how can we give the IP and Port ? Or the SDL uses UNIX sockets ? >> >> Regards >> Arun Joy > > Dear Arun, > > You have not explained how you generated the simulation (i.e. what tool was used), so no-one will be able to answer this question. > > In any case, you have sent your question to the wrong email address. admin at sdl-forum.org is for administration of the SDL Forum Society (maintaining www.sdl-forum.org and handling the Society membership). To get you question answered, join the list sdlnews at sdl-forum.org and and your question to that list. > > Kind regards. > > -- > sdl-admin at tseng.co.uk > -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 Skype: rickreed_windermere (by arrangement) -------------- next part -------------- An HTML attachment was scrubbed... URL: From emmanuel.gaudin at pragmadev.com Mon Feb 24 10:05:29 2014 From: emmanuel.gaudin at pragmadev.com (Emmanuel Gaudin) Date: Mon, 24 Feb 2014 11:05:29 +0100 Subject: [SDLnews] Wikipedia entry Message-ID: <530B1969.2040007@pragmadev.com> Dear all, I am currently struggling with wikipedia to get a page on our tool. This is the second time I create one and it is immediately put in the deletion process. The first time was because I basically copied our web site so that was seen as a copyright violation. This time I wrote it from the top of my head so it does not look like a copy of anything. Now the wikipedia team is questioning the level of notability required. We actually do not mind if we do not have a dedicated page in wikipedia; but in order to appear in other wikipedia pages, it is more and more required to have a dedicated entry to link to. So this becomes important now, that is why I am asking for your help to argue in our favor on the argument page: https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Real_Time_Developer_Studio Thanks, Emmanuel -- Take our 5mn on-line survey on modeling and testing technologies. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: emmanuel_gaudin.vcf Type: text/x-vcard Size: 446 bytes Desc: not available URL: From gunter.mussbacher at mcgill.ca Tue Mar 25 14:49:09 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Tue, 25 Mar 2014 10:49:09 -0400 (EDT) Subject: [SDLnews] CfP: 8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014 Message-ID: <54658.142.157.37.67.1395758949.squirrel@mail.cs.mcgill.ca> The 8th System Analysis and Modelling Conference (SAM'14), co-sponsered by ACM, IEEE and the SDL Forum Society and in agreement with ITU-T Study Group 17 (responsible for ITU System Design Languages), will be held in incredible Valencia, Spain, from the 29th to the 30th of September, 2014. http://sdl-forum.org/Events/SAM2014/ You may have noticed that SAM is now called a conference to better reflect the longstanding format and quality of the event. Daniel, Gunter and Pau in their role as Program Co-Chairs look forward to welcoming you to the event. This year's theme of SAM is ***Models and Reusability*** but contributions in other topics, not limited to, language development, model-driven development, and applications are also invited. SAM'14 welcomes submissions of full and short papers and proceedings will be published in the Springer LNCS series. Participation in SAM'14 is a unique opportunity to attend both SAM'14 and MODELS'14 and meet researchers, industrial practitioners, educators, and students with overlapping domains of interest in modeling. Not to be missed, Valencia's rich cultural heritage of music, art, gastronomy, architecture and folklore is waiting to be explored. Submissions: http://sdl-forum.org/Events/SAM2014/submission.htm ************************************************* May 26th: Paper Abstracts Jun 02nd: Full Papers Jun 23rd: Notification of Acceptance Jul 07th: Camera-Ready Version ************************************************* Organizing and Program Committee: http://sdl-forum.org/Events/SAM2014/committee.htm Take a few moments to look at the website and the CfP and seriously consider making a contribution! Please forward this email to your colleagues and tell them about this exciting opportunity to come to Valencia, Spain, for the 8th SAM Conference. If you have any questions about SAM'14, do not hesitate to email the organizing team. We look forward to welcoming you to Valencia, Daniel Amyot, Program Co-Chair University of Ottawa, Canada Pau Fonseca i Casas, Program Co-Chair Universitat Polit?cnica de Catalunya - BarcelonaTech, Spain Gunter Mussbacher, Program Co-Chair McGill University, Canada, Reinhard Gotzhein, SDL Forum Society Chairman Technische Universit?t Kaiserslautern, Germany and the whole SAM'14 Team. From gunter.mussbacher at mcgill.ca Mon Apr 7 19:06:09 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Mon, 7 Apr 2014 14:06:09 -0400 (EDT) Subject: [SDLnews] RE'14 Workshop Papers, Panels, Posters, Demos, and Doctoral Symposium (22nd IEEE Intl Requirements Engineering Conference) Message-ID: <60934.184.144.101.220.1396893969.squirrel@mail.cs.mcgill.ca> ***** Workshop Papers, Panels, Posters, Demos, and Doctoral Symposium ***** 22nd IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'14) Karlskrona, Sweden, August 25th-29th, 2014 http://www.re14.org/ RE'14 is the premier international forum for researchers, industrial practitioners, educators, and students to present and discuss the most recent innovations, trends, experiences, results and challenges in the field of requirements engineering. This year, RE'14 takes place in Sweden, in the city of Karlskrona which is spread over 33 out of the 1,993 islands, skerries and islets that make up Sweden's southernmost archipelago. Feel like island hopping by ferry? You may even see a floating Swedish sauna! ***Thirteen workshops*** are ready for you to submit your contributions. Furthermore, RE'14 seeks proposals for ***panels*** that focus on requirements engineering topics of concern to requirements engineering research and practice. Several activities are of particular interest to students: ***posters***, ***tool demos***, and the ***doctoral symposium***. Take advantage of the ***Living Scholarship***: free housing and breakfast for 70 PhD students/junior faculty members during RE'14 for five nights! Student volunteers also receive a lot of perks at RE'14! April 14: Panels http://webhotel.bth.se/re14/pages/submission/panels/ April 14: Posters & Tool Demos http://webhotel.bth.se/re14/pages/submission/posters_tooldemos/ April 14: Doctoral Symposium http://webhotel.bth.se/re14/pages/submission/doctoral_symposium/ May 26: Living Scholarship http://webhotel.bth.se/re14/pages/event/living_scholarship/ May 31: Student Volunteers http://webhotel.bth.se/re14/pages/submission/student_volunteers/ Workshop Papers (see individual workshop websites listed below) http://webhotel.bth.se/re14/pages/conference/workshops/ Tony Gorschek (General Chair), Robyn Lutz (Program Chair), Marjo Kauppinen (Industry Track Co-Chair), Sarah C. Gregory (Industry Track Co-Chair), and the whole RE'14 Team look forward to welcoming you to Karlskrona. *************************************************************************** WORKSHOP OVERVIEW Monday, August 25th, 2014: EmpiRE 4th Workshop on Empirical Requirements Engineering http://www.rbsv.eu/empire2014/ ESPRE 1st Workshop on Evolving Security and Privacy Requirements Engineering http://espre2014.org/ MoDRE 4th International Model-Driven Requirements Engineering Workshop http://www.modre2014.ece.mcgill.ca/ REBPM 1st International Workshop on the Interrelations between Requirements Engineering & Business Process Management http://www.rebpm.org/ REET Workshop on Requirements Engineering Education & Training http://www.ics.uci.edu/~bpenzens/2014reet/ UsARE 2nd International Workshop on Usability and Accessibility focused Requirements Engineering http://hciv.de/usare14/ Tuesday, August 26th, 2014: AIRE 1st International Workshop on Artificial Intelligence for Requirements Engineering http://re.cs.depaul.edu/ai4re/ IWSPM 8th International Workshop on Software Product Management http://2014.iwspm.org/ RE4SuSy 3rd International Workshop on Requirements Engineering for Sustainable Systems http://www.ics.uci.edu/~bpenzens/2014re4susy/ RELAW 7th International Workshop on Requirements Engineering and Law http://gaius.isri.cmu.edu/relaw/2014/ RePa 4th International Workshop on Requirements Patterns RePriCo 5th International Workshop on Requirements Prioritization and Communication http://www.bwi.uni-stuttgart.de/reprico RET 1st International Workshop on Requirements Engineering and Testing http://webhotel.bth.se/re14/ret/ *************************************************************************** EmpiRE 4th Workshop on Empirical Requirements Engineering Submission deadline: June 2, 2014 Organizers: Richard Berntson Svensson, Sweden; Maya Daneva, The Netherlands; Xavier Franch, Spain; Nazim Madhavji, Canada; Sabrina Marczak, Brazil The International Workshop series on Empirical Requirements Engineering (EmpiRE) aims to increase the cross-fertilization of Empirical Software Engineering (ESE) methods and Requirements Engineering (RE) by actively encouraging the exchange of ideas to understand why and how the empirical methods from ESE can help to assess and improve existing or new... http://www.rbsv.eu/empire2014/ *************************************************************************** ESPRE 1st Workshop on Evolving Security and Privacy Requirements Engineering Submission deadline: May 26, 2014 Organizers: Kristian Beckers, Germany; Shamal Faily, United Kingdom; Seok-Won Lee, South Korea; Nancy Mead, USA When specifying a system, security and privacy needs to be addressed as early as possible. Unfortunately, many people find doing so difficult in the face of conflicting priorities. When these concerns are addressed, we discover how intrinsically difficult specifying security and privacy can be, and the blurred distinction between requirements and security and... http://espre2014.org/ *************************************************************************** MoDRE 4th International Model-Driven Requirements Engineering Workshop Submission deadline: June 9, 2014 (abstracts on June 2) Organizers: Ana Moreira, Portugal; Gunter Mussbacher, Canada; Jo?o Ara?jo, Portugal; Pablo S?nchez, Spain The Fourth International Model-Driven Requirements Engineering (MoDRE) workshop continues to provide a forum to discuss the challenges of Model-Driven Development (MDD) for Requirements Engineering (RE). Building on the success of MDD for design and implementation, RE may benefit from MDD techniques when properly balancing flexibility for capturing varied... http://www.modre2014.ece.mcgill.ca/ *************************************************************************** REBPM 1st International Workshop on the Interrelations between Requirements Engineering & Business Process Management Submission deadline: June 2, 2014 Organizers: Sebastian Adam, Germany; Robert Heinrich, Germany; Kathrin Kirchner, Germany; Daniel L?bke, Germany; R?diger Wei?bach, Germany The goal of this workshop is to analyze and discuss the relations and interrelations between the domains of Requirements Engineering (RE) and Business Process Management (BPM) in order to get an understanding of their joint usefulness and mutual benefits in organizational management and software development. It aims at developing integrated methods and... http://www.rebpm.org/ *************************************************************************** REET Workshop on Requirements Engineering Education & Training Submission deadline: June 2, 2014 Organizers: Sarah Gregory, USA; Birgit Penzenstadler, USA; Dieter Landes, Germany Effective Requirements Engineering (RE) is increasingly recognized as a critical component in the success of software, product, service, and platform development projects. University curricula in multiple fields are beginning to address RE skills as a foundational skill set within their disciplines. Furthermore, many industrial organizations are recognizing... http://www.ics.uci.edu/~bpenzens/2014reet/ *************************************************************************** UsARE 2nd International Workshop on Usability and Accessibility focused Requirements Engineering Submission deadline: June 2, 2014 Organizers: Shah Rukh Humayoun, Germany; Norbert Seyff, Switzerland; Nauman A. Qureshi, Pakistan; Anna Perini, Italy; Achim Ebert, Germany; David Callele, Canada; Simone DJ Barbosa, Brazil Usability and accessibility issues are common causes for software failing to meet user requirements. However, requirements engineers often focus on functional requirements and may not fully elicit usability and accessibility requirements. This high risk practice can lead to project and software failure and it is well known that improving the usability... http://hciv.de/usare14/ *************************************************************************** AIRE 1st International Workshop on Artificial Intelligence for Requirements Engineering Submission deadline: June 2, 2014 Organizers: Nelly Bencomo, UK; Jane Cleland-Huang, USA; Jin Guo, USA; Rachel Harrison, UK The purpose of AIRE is to explore synergies between Artificial Intelligence and Requirements Engineering in order to identify complex RE problems that could benefit from the application of AI techniques. Given the current sparsity of AI techniques applied within the RE research community, this workshop will include a keynote that lays the foundations for challenges... http://re.cs.depaul.edu/ai4re/ *************************************************************************** IWSPM 8th International Workshop on Software Product Management Submission deadline: June 2, 2014 Organizers: Andrey Maglyas, Finland; Christof Ebert, Germany Software product management (SPM) is an important discipline that unites both technical and business perspectives to creating software products. The success of a product depends on skilled and competent product management. In essence, a product manager makes strategic and tactical decisions on what functionality and quality a product should offer, to which... http://2014.iwspm.org/ *************************************************************************** RE4SuSy 3rd International Workshop on Requirements Engineering for Sustainable Systems Submission deadline: June 2, 2014 Organizers: Birgit Penzenstadler, USA; Martin Mahaux, Belgium; Camille Salinesi, France Research has started investigating the support of sustainability within systems and software engineering. Yet there are few workshops that explore the topic, and there is only one so far in requirements engineering: RE4SuSy. The International Workshops on Requirements Engineering for Sustainable Systems (RE4SuSy) have been held at REFSQ in 2012 and at RE... http://www.ics.uci.edu/~bpenzens/2014re4susy/ *************************************************************************** RELAW 7th International Workshop on Requirements Engineering and Law Submission deadline: May 26, 2014 Organizers: Anna Perini, Italy; Daniel Amyot, Canada; Annie Ant?n, USA; Travis Breaux, USA; Aaron Massey, USA; Alberto Siena, Italy The objective of the RELAW workshop is to foster the discussion related to requirements engineering triggered by any legal regulation or law. The theme this year is "Compliance Requirements for BigData". This open workshop will bring together practitioners and researchers from auditing, accounting, law, software and requirements engineering. The goals of... http://gaius.isri.cmu.edu/relaw/2014/ *************************************************************************** RePa 4th International Workshop on Requirements Patterns Organizers: Liping Zhao, UK; Julio Cesar Sampaio Do Prado Leite, Brazil; Sam Supakkul, USA; Ye Wang; Lawrence Chung, USA Getting requirements right is oftentimes challenging and in need of a large amount of knowledge and experience. ?Patterns? have been used to capture knowledge of software engineering, concerning software architectures, component designs and programs, and more recently requirements engineering. The International Workshop on Requirements... *************************************************************************** RePriCo 5th International Workshop on Requirements Prioritization and Communication Submission deadline: June 2, 2014 Organizers: Sixten Schockert, Germany; Benedikt Krams, Germany RePriCo'14 is about requirements prioritization and communication. Why prioritization? Because unless you have unlimited resources you need to prioritize requirements in order to focus future development. Why communication? Because basically poor communication is responsible for the gaps between the real needs of the customers, the perception of these... http://www.bwi.uni-stuttgart.de/reprico *************************************************************************** RET 1st International Workshop on Requirements Engineering and Testing Submission deadline: May 26, 2014 Organizers: Michael Felderer, Austria; Elizabeth Bjarnason, Sweden; Matthew Staats, Luxembourg; Mirko Morandini, Italy; Markus Borg, Sweden; Michael Unterkalmsteiner, Sweden The objective of this workshop is to address the interplay of Requirements Engineering (RE) and Testing, in research and industry, and the challenges that come up with it. The workshop extends the body of knowledge related to the alignment of RE and Testing. This includes processes, practices, artifacts, methods, techniques, tools and softer aspects like the... http://webhotel.bth.se/re14/ret/ *************************************************************************** From Ray at BluWirelessTechnology.com Tue Apr 8 18:11:58 2014 From: Ray at BluWirelessTechnology.com (Ray McConnell) Date: Tue, 8 Apr 2014 18:11:58 +0100 Subject: [SDLnews] Looking for a maintained 802.11 (WiFi MAC) SDL Message-ID: <03bd01cf534d$a9755560$fc600020$@BluWirelessTechnology.com> Hi SDL forum, I am looking for a source of a maintained 802.11 SDL (WiFi MAC). (Or even a more recent version that supplied by the IEEE) Please can you help me by providing an email or website of any companies/organisations who may have such. Many thanks Ray McConnell --- This email is free from viruses and malware because avast! Antivirus protection is active. http://www.avast.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From amm at fct.unl.pt Tue Apr 29 19:18:12 2014 From: amm at fct.unl.pt (Ana Moreira) Date: Tue, 29 Apr 2014 19:18:12 +0100 Subject: [SDLnews] CfP: Model-Driven Requirements Engineering (MoDRE) Workshop at RE 2014 Message-ID: [our apologies for multiple posts] Call for Papers MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2014 Co-located with the 22nd IEEE International Requirements Engineering Conference in Karlskrona, Sweden, August 25, 2014 http://www.modre2014.ece.mcgill.ca/ The Fourth International Model-Driven Requirements Engineering (MoDRE) workshop continues to provide a forum to discuss the challenges of Model-Driven Development (MDD) for Requirements Engineering (RE). Building on the success of MDD for design and implementation, RE may benefit from MDD techniques when properly balancing flexibility for capturing varied user needs with formal rigidity required for model transformations as well as high-level abstraction with information richness. Reuse of requirements models becomes a distinct possibility with MDD and model transformations. This workshop intends to identify new challenges, discuss on-going work and potential solutions, analyze the strengths and weaknesses of MDD approaches for RE, foster stimulating discussions on the topic, and provide opportunities to apply MDD approaches for RE. Accepted papers will become part of the workshop proceedings and will be submitted for inclusion into the IEEE Digital Library. IMPORTANT DATES (all deadlines 23:59:59, Baker Island time) Monday, June 2, 2014: Deadline for abstract submission Monday, June 9, 2014: Deadline for paper submission Monday, July 7, 2014: Notification sent to authors Thursday, July 17, 2014: Deadline for submission of camera-ready paper Monday, August 18, 2014: Deadline for submission of workshop presentation Monday, August 25, 2014: Workshop For more information, see the complete CFP at http://www.modre2014.ece.mcgill.ca/cfp.htm or contact the organizers at modre2014-info at cs.mcgill.ca. ORGANIZING COMMITTEE Ana Moreira, Associate Professor, Universidade Nova de Lisboa, Portugal Gunter Mussbacher, Assistant Professor, McGill University, Canada Jo?o Ara?jo, Assistant Professor, Universidade Nova de Lisboa, Portugal Pablo S?nchez, Assistant Professor, Universidad de Cantabria, Spain PROGRAM COMMITTEE Vasco Amaral, Universidade Nova de Lisboa, Portugal Daniel Amyot, University of Ottawa, Canada Luciano Baresi, Politecnico di Milano, Italy Nelly Bencomo, Aston University, UK Jean-Michel Bruel, Universit? de Toulouse, France Betty Cheng, Michigan State University, USA Ruzanna Chitchyan, University of Leicester, UK Elder Cirilo, Universidade Federal de S?o Jo?o del-Rei, Brazil Jos? Mar?a Conejero, Universidade de Extremadura, Spain Kleinner Farias, Universidade do Vale do Rio dos Sinos (Unisinos), Brazil Martin Glinz, Universit?t Z?rich, Switzerland Martin Gogolla, Universit?t Bremen, Germany Arda Goknil, University of Luxembourg, Luxembourg Renata Guizzardi, Universidade Federal do Esp?rito Santo, Brazil Em?lio Insfran, Universitat Polit?cnica de Val?ncia, Spain J?rg Kienzle, McGill University, Canada Juan de Lara, Universidad Aut?noma de Madrid, Spain Anna Medve, Pannon Egyetem, Hungary John Mylopolous, Universit? di Trento, Italy Elena Navarro, Universidad de Castilla-La Mancha, Spain Nan Niu, Mississippi State University, USA Liliana Pasquale, Lero, Ireland Oscar Pastor, Universitat Polit?cnica de Val?ncia, Spain Dorina C. Petriu, Carleton University, Canada Alfonso Pierantonio, Universit? degli Studi dell'Aquila, Italy Carme Quer, Universitat Polit?cnica de Catalunya - BarcelonaTech, Spain William Robinson, Georgia State University, USA Mehrdad Sabetzadeh, University of Luxembourg, Luxembourg Pete Sawyer, Lancaster University, UK Antonio Vallecillo, Universidad de M?laga, Spain Hans Vangheluwe, Universiteit Antwerpen, Belgium / McGill University, Canada Manuel Wimmer, Technische Universit?t Wien, Austria Tao Yue, Simula Research Laboratory, Norway Steffen Zschaler, King's College London, UK -------------- next part -------------- An HTML attachment was scrubbed... URL: From humayoun at cs.uni-kl.de Wed Apr 30 01:36:58 2014 From: humayoun at cs.uni-kl.de (Shah Rukh Humayoun) Date: Wed, 30 Apr 2014 02:36:58 +0200 Subject: [SDLnews] CFP: UsARE 2014 (Usability and Accessibility focused Requirements Engineering) workshop @ RE '14 Message-ID: our apologies for multiple posts! ------------------------------------ UsARE 2014 - Second International Workshop on Usability and Accessibility focused Requirements Engineering (http://hciv.de/usare14/) August 26, 2014, Karlskrona, Sweden Held conjunction with 22nd IEEE International Requirements Engineering Conference (RE 2014) ===================================================================================== CALL FOR PAPERS ---------------- The IEEE International Requirements Engineering Conference is the premier international forum for researchers, industrial practitioners, educators, and students to present and discuss the most recent innovations, trends, experiences, results and challenges in the field of requirements engineering (RE). The UsARE workshop focuses on RE and HCI and provides a platform for discussing issues that are relevant for both fields. The first workshop (UsARE 2012) was held on June 04, 2012 in conjunction with ICSE 2012 at Zurich, Switzerland. This year, UsARE 2014 will be held in conjunction with the 22nd IEEE International Requirements Engineering Conference (RE 2014) at Karlskrona, Sweden on August 25, 2014. Usability and accessibility issues are common causes for software failing to meet user requirements. However, requirements engineers often focus on functional requirements and may not fully elicit usability and accessibility requirements. This high risk practice can lead to project and software failure and it is well known that improving the usability and accessibility requirements during development is relatively costly and time consuming. Targeting these concerns, the workshop addresses the integration of system usability and accessibility requirements into the requirements engineering process and processes for managing and controlling the evaluation of these requirements in a systematic way. The UsARE 2014 workshop strongly encourages submissions that focus on mobile and distributed app and service development, but submissions on other relevant topics are also welcome. TOPICS ------- The workshop is dedicated to observations, concepts, approaches, frameworks and practices that promote understanding, facilitating, and increasing the awareness of the role of system usability and accessibility requirements and their proper integration into the requirement engineering process. Topics of interest for paper submissions include, but are not limited to methodologies, framework, concepts, and tool support for: - User-centered requirements engineering - Elicitation, representation, and negotiation of usability and accessibility requirements - Evaluation of usability and accessibility requirements - Impacts of RE and usability/accessibility considerations on software design and development processes and products - Usability and accessibility requirements management - RE at run-time for usable and accessible, adaptable and adaptive systems. - Usability and accessibility requirements for mobile and distributed apps and services SUBMISSIONS ------------ Papers are solicited in the following categories: - Research papers (technical solutions and empirical studies) - Practice papers (experience reports and problem statements) - Tool demonstration papers - Case studies and best practices Full papers (up to 8 pages) and short/position/vision papers (up to 4 pages) are accepted. Submissions must be written in English and conform to the IEEE formatting instructions (using the RE'14 submission template - http://webhotel.bth.se/re14/pages/submission/research_papers/). Submissions must be in PDF format and submitted electronically via EasyChair (https://www.easychair.org/conferences/?conf=usare2014). All papers submitted to the workshop must be unpublished original work and must not have been submitted elsewhere for publication. The selection of papers will be based on workshop relevance, academic rigor, innovation, industrial applicability, quality of writing and for their ability to trigger discussions. *** Accepted papers will be included in the UsARE 2014 Proceedings published by IEEE and will be available online in the IEEE Xplore Digital Library. Note: At least one of the authors of each accepted paper is required to register for the workshop and at least one day of the RE 2014 conference. IMPORTANT DATES ---------------- Submission deadline: Monday, June 02, 2014 Notification of acceptance: Monday, June 23, 2014 Camera-ready submission: Friday, July 04, 2014 Workshop: Monday, August 25, 2014 Note that all submission deadlines are firm. All submission deadlines are 23:59 Baker Island Time. ORGANIZERS ----------- Shah Rukh Humayoun, University of Kaiserslautern, Germany Norbert Seyff, University of Zurich, Switzerland Nauman A. Qureshi, National University of Sciences and Technology (NUST), Pakistan Anna Perini, FBK, ICT-irst, Italy Achim Ebert, University of Kaiserslautern, Germany David Callele, University of Saskatchewan, Canada Simone DJ Barbosa, Pontifical Catholic University of Rio de Janeiro, Brazil Contacts: usare14 at hciv.de PROGRAM COMMITTEE ----------------- Margherita Antona , Foundation for Research and Technology - Hellas (FORTH), Greece Tayana Conte, UFAM, Brazil Yael Dubinsky, IBM Research - Haifa, Israel Silvia Gabrielli, CREATE-NET, Italy Steffen Hess, Fraunhofer IESE, Germany Ivan Jureta, University of Namur, Belgium Stephen Kimani, JKUAT, Kenya Sotirios Liaskos, York University, Canada Sabrina Marczak, PUCRS, Brazil Luisa Mich, University of Trento, Italy Henry Muccini, University of L'Aquila, Italy Barbara Paech, University of Heidelberg, Germany Pete Sawyer, Lancaster University, UK Angelo Susi, Fondazione Bruno Kessler ? IRST, Italy Ragaad Al Tarawneh, University of Kaiserslautern, Germany Giuliana Vitiello, University of Salerno, Italy Diana Yifan Xu, University of Central Lancashire, UK From gunter.mussbacher at mcgill.ca Mon May 5 15:06:12 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Mon, 5 May 2014 10:06:12 -0400 (EDT) Subject: [SDLnews] Deadline approaching (8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014) Message-ID: <55510.75.98.19.133.1399298772.squirrel@mail.cs.mcgill.ca> ********* 8th System Analysis and Modelling Conference (SAM'14) ********* *** Deadline approaching - May 26th for abstracts, Jun 02nd for papers *** **** Keynote speakers confirmed: Lionel Briand and Jean-Marc J?z?quel **** SAM'14, co-sponsored by ACM, IEEE and the SDL Forum Society and in agreement with ITU-T Study Group 17 (responsible for ITU System Design Languages), will be held in incredible Valencia, Spain, from the 29th to the 30th of September, 2014. http://sdl-forum.org/Events/SAM2014/ The deadline for submission of paper abstracts and full papers is rapidly approaching. This year's theme of SAM is ***Models and Reusability*** but contributions in other topics, not limited to, language development, model-driven development, and applications are also invited. Proceedings will be published in the Springer LNCS series. Submissions: http://sdl-forum.org/Events/SAM2014/submission.htm The ***keynotes*** at SAM'14 will be presented by Lionel Briand and Jean-Marc J?z?quel. Lionel Briand is Professor (FNR PEARL chair) in software engineering and is Vice-Director at the Centre for ICT Security, Reliability, and Trust (SnT), University of Luxembourg. He is a highly regarded expert in the areas of software verification and model-driven engineering, performing research with strong and sustained industrial collaborations. He is an IEEE Fellow, and is the recipient of the IEEE CS Harlan Mills award, and the IEEE Reliability Society?s engineer-of-the-year award. http://people.svv.lu/briand/ Jean-Marc J?z?quel is Professor at the University of Rennes, Director of the Institut de Recherche en Informatique et Syst?mes Al?atoires (IRISA) and a distinguished contributor to research in model-driven engineering and software product lines. Jean-Marc is also a member of Inria's Triskell team, which he headed from 2001 to 2011 and where he established the Kermeta (Kernel Metamodeling) environment. Kermeta defines a core metamodeling toolkit for advanced model-driven tools and inspired significant progress in the area of software language engineering. http://people.irisa.fr/Jean-Marc.Jezequel/ Participation in SAM'14 is a unique opportunity to attend both SAM'14 and MODELS'14 and meet researchers, industrial practitioners, educators, and students with overlapping domains of interest in modeling. Not to be missed, Valencia's rich cultural heritage of music, art, gastronomy, architecture and folklore is waiting to be explored. Organizing and Program Committee: http://sdl-forum.org/Events/SAM2014/committee.htm Daniel, Gunter and Pau in their role as Program Co-Chairs look forward to welcoming you to Valencia. Best regards, Daniel Amyot, University of Ottawa, Canada Pau Fonseca i Casas, Uni. Polit?cnica de Catalunya - BarcelonaTech, Spain Gunter Mussbacher, McGill University, Canada, Reinhard Gotzhein, SDL Forum Society Chairman, TU Kaiserslautern, Germany and the whole SAM'14 Team. From gunter.mussbacher at mcgill.ca Mon May 26 04:59:55 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Sun, 25 May 2014 23:59:55 -0400 (EDT) Subject: [SDLnews] Only hours to go - SAM'14 abstract submission deadline (8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014) Message-ID: <55058.184.146.96.242.1401076795.squirrel@mail.cs.mcgill.ca> Dear colleagues, The deadline for abstract submission for the 8th System Analysis and Modelling Conference (SAM'14) is only hours away: Monday May 26th, 2014 anywhere in the world. Full papers are due on June 02nd. Submissions: http://sdl-forum.org/Events/SAM2014/submission.htm Participation in SAM'14 is a unique opportunity to attend both SAM'14 and MODELS'14 and meet researchers, industrial practitioners, educators, and students with overlapping domains of interest in modeling. Not to be missed, Valencia's rich cultural heritage of music, art, gastronomy, architecture and folklore is waiting to be explored. Daniel, Gunter and Pau in their role as Program Co-Chairs look forward to welcoming you to an exciting SAM'14 conference in incredible Valencia. From gunter.mussbacher at mcgill.ca Tue May 27 16:37:35 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Tue, 27 May 2014 11:37:35 -0400 (EDT) Subject: [SDLnews] Deadline extended by one week (8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014) Message-ID: <54517.142.157.37.48.1401205055.squirrel@mail.cs.mcgill.ca> Dear colleagues, Since we have received several requests, the deadlines for abstract and paper submissions for the 8th System Analysis and Modelling Conference (SAM'14) have been extended by one week. Abstracts are now due on Monday June 2, 2014 (this is only the preferred date and abstracts may be submitted until the paper submission deadline). Papers are now due on Monday June 9, 2014. These are the final dates and no further extensions will be granted. Important Dates: http://sdl-forum.org/Events/SAM2014/dates.htm Submissions: http://sdl-forum.org/Events/SAM2014/submission.htm Daniel, Gunter and Pau in their role as Program Co-Chairs look forward to welcoming you to an exciting SAM'14 conference in incredible Valencia. From gunter.mussbacher at mcgill.ca Mon Jun 2 13:01:23 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Mon, 2 Jun 2014 08:01:23 -0400 (EDT) Subject: [SDLnews] Deadline approaching - Model-Driven Requirements Engineering (MoDRE) Workshop at RE 2014 Message-ID: <54029.184.146.96.242.1401710483.squirrel@mail.cs.mcgill.ca> [our apologies for multiple posts] ********* MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP ********* ** Co-located with the 22nd IEEE International Requirements Engineering ** *********** Conference in Karlskrona, Sweden - August 25, 2014 *********** http://www.modre2014.ece.mcgill.ca/ ***** Deadline approaching - June 2 for abstracts, June 9 for papers ***** **** Submit at: https://www.easychair.org/conferences/?conf=modre2014 **** Accepted papers will become part of the workshop proceedings and will be submitted for inclusion into the IEEE Digital Library. The Fourth International MoDRE workshop continues to provide a forum to discuss the challenges of Model-Driven Development (MDD) for Requirements Engineering (RE). Building on the success of MDD for design and implementation, RE may benefit from MDD techniques when properly balancing flexibility for capturing varied user needs with formal rigidity required for model transformations as well as high-level abstraction with information richness. Reuse of requirements models becomes a distinct possibility with MDD and model transformations. This workshop intends to identify new challenges, discuss on-going work and potential solutions, analyze the strengths and weaknesses of MDD approaches for RE, foster stimulating discussions on the topic, and provide opportunities to apply MDD approaches for RE. For more information, see the complete CFP at http://www.modre2014.ece.mcgill.ca/cfp.htm and the Program Committee at http://www.modre2014.ece.mcgill.ca/pc.htm or contact the organizers at modre2014-info at cs.mcgill.ca. Ana, Gunter, Jo?o, and Pablo in their role as workshop organizers look forward to welcoming you to the fourth edition of MoDRE. From rickreed at tseng.co.uk Tue Jun 24 08:59:36 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Tue, 24 Jun 2014 08:59:36 +0100 Subject: [SDLnews] Fwd: [models2014] : Student Volunteer Applications References: Message-ID: Begin forwarded message: > ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems (MODELS 2014) in Valencia, Spain, is accepting Student Volunteer Applications. > (see http://models2014.webs.upv.es/studentvolunteers.htm) > > If you or someone you know would like to join the MODELS 2014 team as student volunteer, please submit your application by Friday August 15, 2014. -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 Skype: rickreed_windermere (by arrangement) -------------- next part -------------- An HTML attachment was scrubbed... URL: From gunter.mussbacher at mcgill.ca Thu Jul 10 01:54:12 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Wed, 9 Jul 2014 20:54:12 -0400 (EDT) Subject: [SDLnews] Call for Participation: RE'14 (22nd IEEE Intl Requirements Engineering Conference) Message-ID: <60109.178.26.108.95.1404953652.squirrel@mail.cs.mcgill.ca> ***** CALL FOR PARTICIPATION ***** 22nd IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'14) Karlskrona, Sweden, August 25th-29th, 2014 http://www.re14.org Deadline for Early-Bird Registration: July 14th, 2014 http://webhotel.bth.se/re14/pages/conference/registration/ Three inspiring keynote speakers: Annie I. Ant?n, Georgia Tech College of Computing, USA Anthony Finkelstein, University College London, UK Anthony I. Wasserman, Carnegie Mellon University, USA A comprehensive program of workshops and tutorials given by a mix of industrial practitioners and academics: http://webhotel.bth.se/re14/pages/conference/workshops/ http://webhotel.bth.se/re14/pages/conference/tutorials/ Student scholarships (free accommodation and breakfast for up to 70 students) to allow MORE students to attend RE'14 - application required by July 10th, 2014: http://webhotel.bth.se/re14/pages/event/living_scholarship/ Student awards and the Ready-Set-Transfer Panel: http://webhotel.bth.se/re14/pages/interactive/student_awards/ http://webhotel.bth.se/re14/pages/conference/panels_debates/ For the latest conference program updates: http://webhotel.bth.se/re14/pages/conference/conference_program/ Blekinge (the region) is very beautiful and unique. It is waiting for you and your family to explore before, during, and after the conference with exclusive activity packages offered at a discount for RE'14 attendees: http://webhotel.bth.se/re14/pages/event/explore_karlskrona/ Tony Gorschek (General Chair), Robyn Lutz (Program Chair), Marjo Kauppinen (Industry Track Co-Chair), Sarah C. Gregory (Industry Track Co-Chair), and the whole RE'14 Team invite you to attend RE'14. http://www.re14.org/oc From JanuszDobrowolski at StateSoft.org Sat Jul 26 00:51:36 2014 From: JanuszDobrowolski at StateSoft.org (Janusz Dobrowolski) Date: Fri, 25 Jul 2014 16:51:36 -0700 Subject: [SDLnews] Potential SDL Enhancements Message-ID: Hello, Since I joined the SDL forum today, please let me introduce myself: my name is Janusz Dobrowolski and I am an individual consultant (more about me can be found on LinkedIn). Recently I read an excellent book by Mr. Laurent Doldi titled, "Validation of Communication Systems with SDL", and realized great untapped potential for the SDL approach. Let's call this group of potential enhancements virtualization of SDL or VSDL in short. The VSDL approach would allow for the significant enhancements to SDL like: . Creation of another hierarchy for SDL diagrams . Elimination of graphical representation pertaining to trivial programming statements e.g. x = x + 1 (thus uncluttering the graphical pages) . Adding Entry, Exit and Input actions (like in UML) . Increasing understandability and maintainability . Treating VSDL graphical representation as a true modeling language . Programming language independence . Automatic translating of VSDL to any programing or scripting language or other forms of representation. . Increasing the level of automatic validation to systems of the orders higher level of complexity than possible today . New validation algorithm eliminating tools need to "talk" to the user in internal validator terms like: depth first, breathes first, hash etc. The above list is far from complete and presented for the purpose of initial interest creation. Some of the VSDL enhancements could best incorporated by existing tools enhancements, while others could be realized simply by adding a thin layer of a process guideline. If you happen to be aware of a commercial or university organization willing to sponsor or cooperate working on the above SDL enhancements, please let me know. All the best, Janusz Dobrowolski +1 630 747 8989 JanuszDobrowolski at StateSoft.org C StateSoft.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From yaredoom at gmail.com Sun Jul 27 00:26:22 2014 From: yaredoom at gmail.com (Yared Semu) Date: Sat, 26 Jul 2014 19:26:22 -0400 Subject: [SDLnews] Model Checker inside OpenGEODE Message-ID: Dears, I am more interested in the implementation of the model checker insider OpenGEODE. It would be awesome if you could answer some of these questions for me. 1. What kind of technology does it use? Explicit state model checking or symbolic model checking? 2. What kind of properties does it process? Safety vs Liveness? Assertions? 3. Does it visualize message sequence charts? (I read that it is able to do MSC, i just wanted to be sure.) 4. Does it have an interactive simulator? Waiting to hear from you soon. Kind Regards, Y. -------------- next part -------------- An HTML attachment was scrubbed... URL: From rickreed at tseng.co.uk Mon Jul 28 21:48:17 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Mon, 28 Jul 2014 21:48:17 +0100 Subject: [SDLnews] Potential SDL Enhancements In-Reply-To: References: Message-ID: On 26 Jul 2014, at 00:51, Janusz Dobrowolski wrote: > Hello, > > Since I joined the SDL forum today, please let me introduce myself: my name is Janusz Dobrowolski and I am an individual consultant (more about me can be found on LinkedIn). > > Recently I read an excellent book by Mr. Laurent Doldi titled, ?Validation of Communication Systems with SDL?, and realized great untapped potential for the SDL approach. Let?s call this group of potential enhancements virtualization of SDL or VSDL in short. > > The VSDL approach would allow for the significant enhancements to SDL like: > ? Creation of another hierarchy for SDL diagrams > ? Elimination of graphical representation pertaining to trivial programming statements e.g. x = x + 1 (thus uncluttering the graphical pages) > ? Adding Entry, Exit and Input actions (like in UML) > ? Increasing understandability and maintainability > ? Treating VSDL graphical representation as a true modeling language > ? Programming language independence > ? Automatic translating of VSDL to any programing or scripting language or other forms of representation. > ? Increasing the level of automatic validation to systems of the orders higher level of complexity than possible today > ? New validation algorithm eliminating tools need to ?talk? to the user in internal validator terms like: depth first, breathes first, hash etc. > > The above list is far from complete and presented for the purpose of initial interest creation. > > Some of the VSDL enhancements could best incorporated by existing tools enhancements, while others could be realized simply by adding a thin layer of a process guideline. > > If you happen to be aware of a commercial or university organization willing to sponsor or cooperate working on the above SDL enhancements, please let me know. > > All the best, > Janusz Dobrowolski > +1 630 747 8989 > JanuszDobrowolski at StateSoft.org > ? StateSoft.org Dear Mr. Dobrowolski, As the person responsible for administration of the SDL Forum Society, may I take this opportunity to point out that you have NOT "joined the SDL forum", but have only joined the sdlnews at sdl-forum.org mailing list. To join the SDL Forum Society you need to complete the form at http://www.sdl-forum.org/Society/member-form.htm and pay the Society subscription fee. As the person who is currently the ITU-T SG17 associate rapporteur responsible for the Specification and Description Language, I would be interested to know exactly what proposals you have to make, bearing in mind that Laurent Doldi's book was published in 2003, and there was plenty of time between that publication and the formulation of the content of the current version of the ITU-T Specification and Description Language, SDL-2010. Taking the issues you raise specifically: ? Creation of another hierarchy for SDL diagrams It is not clear what "another hierarchy" might be, given the abstract grammar of the language. ? Elimination of graphical representation pertaining to trivial programming statements e.g. x = x + 1 (thus uncluttering the graphical pages) SDL-2010 (and previous versions) already allows 'informal text' in the place of detailed formal statements and the invocation of procedures (which may be external procedures written in another language), both of which (in different ways) allow "trivial programming statements" to be abstracted from graphical pages. Informal text has the side effect of making the interpretation of the system informal (the future behaviour not being defined). However, for a formally defined that provides model interpretation there needs to be some definition of the actions covered by "trivial programming statements", so it is difficult to understand how "elimination" of these could be achieved in a way not already provided in SDL-2010. ? Adding Entry, Exit and Input actions (like in UML) SDL-2010 already has (and the previous version SDL-2000 already had) entry actions and exit actions (like UML). It is not clear what might be meant by "an Input action" is, but perhaps it means that the same action should be performed whenever a particular input is received, before entering the transition for each state consumes this input. One approach would be to invoke a procedure to carry out the action immediately after the input, but before the rest of particular transition for each of the states. On the other hand idea of always invoking such a procedure without showing it explicitly for every state may have some merit if there is sufficient support for the idea (in particular, tool vendors willing to support it). ? Increasing understandability and maintainability Any specific comments on increasing the understandability and maintainability of the ITU documents that define SDL-2010 are welcome, as are additional documents that may help users with the language. As for increasing the understandability and maintainability of the language itself, this should not be at the expense of invalidating existing models - the abstract grammar should not be changed. ? Treating VSDL graphical representation as a true modelling language This suggests that SDL-2010 is not a "true modelling language". In what way is this not the case? Models can be defined in the language, and can be analysed and interpreted. What other criteria need to be fulfilled? ? Programming language independence I am not aware of any features of SDL-2010 that make it dependent on any particular "programming language". On the other hand, it is also possible to use SDL-2010 as a programming language with automatic conversion into executable code. Usually such conversion is done by translation into C or Java, but in some projects the ITU Specification and Description Language has been directly transformed into the code of a execution machine. In what ways is SDL-2010 considered to be programming language dependent? Even in the case of the SDL-2010 Z.104 Annex C Language Binding, it is only the syntax which is bound - the abstract grammar still defines the language semantics. ? Automatic translating of VSDL to any programing or scripting language or other forms of representation. In my opinion this is clearly a tool issue, rather than a language issue. Providing the language is well-defined it should be possible to translate it into "any programing or scripting language or other forms of representation" providing the semantic features required are supported by the target language/representation. ? Increasing the level of automatic validation to systems of the orders higher level of complexity than possible today The ITU Specification and Description Language primarily a language that defines the behaviour of a system. Such a model is (in my opinion) a prerequisite for being able to validate the system. Validation might consist of comparing an implementation with this model, or comparing the model with requirements. Specification and Description Language features that might support validation are indeed of interest. What are the specific suggestions? ? New validation algorithm eliminating tools need to ?talk? to the user in internal validator terms like: depth first, breathes first, hash etc. The ITU Specification and Description Language does not have a "validation algorithm". What does this mean? How does this proposal relate to ?VeUML Profile for Complex Telecommunication Platforms, Protocols and Services? presented by yourself (on behalf of the USA) to SG17 in COM 17 D 130 in March 2004. -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 Skype: rickreed_windermere (by arrangement) -------------- next part -------------- An HTML attachment was scrubbed... URL: From eric.brunel at pragmadev.com Thu Jul 31 16:04:15 2014 From: eric.brunel at pragmadev.com (Eric Brunel) Date: Thu, 31 Jul 2014 17:04:15 +0200 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: References: Message-ID: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> Hello, Are you actually asking about OpenGEODE? The tool named like this is part of the TASTE project from the ESA and as far as we know, and according to the project page here: http://taste.tuxfamily.org/wiki/index.php?title=Technical_topic:_OpenGEODE%2C_an_SDL_editor_for_TASTE it doesn't provide any model checking feature? If your question is about ObjectGEODE, it seems their model checking feature is based on the IF technology developed by Verimag (details here: http://www-if.imag.fr ). We're not sure about that, but the output of the model verification looks a lot like the one of the IF/IFx toolkit. The technology used here is exhaustive simulation, which means there is no symbolic model checking, just exploration of all the possible paths. The properties it can check are described through 'observers' - you can find a description of these here: http://www-if.imag.fr/tutorials/observers.pdf As for your other questions - MSC visualization and interactive simulator -, maybe someone who has actually used the tool will be able to answer. ObjectGEODE is quite an old tool though, there are probably only a few people still using it. Best regards. -- - Eric Brunel - PragmaDev : Real Time Software Development Tools - http://www.pragmadev.com On 27 Jul 2014, at 01:26, Yared Semu wrote: > Dears, > > I am more interested in the implementation of the model checker insider OpenGEODE. It would be awesome if you could answer some of these questions for me. > > 1. What kind of technology does it use? Explicit state model checking or symbolic model checking? > > 2. What kind of properties does it process? Safety vs Liveness? Assertions? > > 3. Does it visualize message sequence charts? (I read that it is able to do MSC, i just wanted to be sure.) > > 4. Does it have an interactive simulator? > > Waiting to hear from you soon. > > Kind Regards, > Y. > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews -------------- next part -------------- An HTML attachment was scrubbed... URL: From doldi.doldi at orange.fr Thu Jul 31 20:02:25 2014 From: doldi.doldi at orange.fr (doldi.doldi orange.fr) Date: Thu, 31 Jul 2014 21:02:25 +0200 (CEST) Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> Message-ID: <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Hello, No, ObjectGEODE is not based on the IF technology developed by Verimag. The ObjectGEODE simulator?performs (among many other things)?verification using observers and state space exploration. The slides??http://www-if.imag.fr/tutorials/observers.pdf do not describe at all ObjectGEODE simulator etc. ? In order to "save" ObjectGEODE features and avoid them to be lost, I have described them in detail in 2003 the book "Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis": http://www.wileyeurope.com/remtitle.cgi?isbn=0470852860 ? I was right, because unfortunately ObjectGEODE disappeared soon after that (due to company A purchasing company B then purchased by company C etc.). ? ObjectGEODE (patially funded by France Telecom) was not a prototype but a very powerful tool. Sadly, no such tool exists now. Fortunately Pragmadev RTDS is progressively improving and adding features, but it costs a lot of money to make such a tool. ? Best regards, Laurent Doldi http://www.tmso-systems.com/ ? > Message du 31/07/14 17:04 > De : "Eric Brunel" > A : sdlnews at sdl-forum.org > Copie ? : > Objet : Re: [SDLnews] Model Checker inside OpenGEODE > >Hello, > Are you actually asking about OpenGEODE? The tool named like this is part of the TASTE project from the ESA and as far as we know, and according to the project page here: http://taste.tuxfamily.org/wiki/index.php?title=Technical_topic:_OpenGEODE%2C_an_SDL_editor_for_TASTE it doesn't provide any model checking feature? > If your question is about ObjectGEODE, it seems their model checking feature is based on the IF technology developed by Verimag (details here:?http://www-if.imag.fr ). We're not sure about that, but the output of the model verification looks a lot like the one of the IF/IFx toolkit. The technology used here is exhaustive simulation, which means there is no symbolic model checking, just exploration of all the possible paths. The properties it can check are described through 'observers' - you can find a description of these here:?http://www-if.imag.fr/tutorials/observers.pdf > As for your other questions - MSC visualization and interactive simulator -, maybe someone who has actually used the tool will be able to answer. ObjectGEODE is quite an old tool though, there are probably only a few people still using it. > Best regards. > -- - Eric Brunel - > PragmaDev : Real Time Software Development Tools -?http://www.pragmadev.com > > On 27 Jul 2014, at 01:26, Yared Semu wrote: Dears, > I am more interested in the implementation of the model checker insider OpenGEODE.?It would be awesome if you could answer some of these questions for me. ? 1. What kind of technology does it use? Explicit state model checking or symbolic model checking? ? 2. What kind of properties does it process? Safety vs Liveness? Assertions? ? 3. Does it visualize message sequence charts? (I read that it is able to do MSC, i just wanted to be sure.) ? 4. ?Does it have an interactive simulator? ? Waiting to hear from you soon. > Kind Regards, Y. _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > _______________________________________________ SDLnews mailing list SDLnews at sdl-forum.org http://lists.sdl-forum.org/mailman/listinfo/sdlnews -------------- next part -------------- An HTML attachment was scrubbed... URL: From rickreed at tseng.co.uk Thu Jul 31 22:47:52 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Thu, 31 Jul 2014 22:47:52 +0100 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Message-ID: On 31 Jul 2014, at 20:02, doldi.doldi orange.fr wrote: > I was right, because unfortunately ObjectGEODE disappeared soon after that (due to company A purchasing company B then purchased by company C etc.). > A = Verilog, B = Telelogic, C = IBM (Rational). -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 Skype: rickreed_windermere (by arrangement) -------------- next part -------------- An HTML attachment was scrubbed... URL: From rickreed at tseng.co.uk Thu Jul 31 23:22:35 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Thu, 31 Jul 2014 23:22:35 +0100 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Message-ID: Correction A = Telelogic B = Verilog -- Rick Reed Sent from my iPhone > On 31 Jul 2014, at 22:47, Rick Reed wrote: > >> On 31 Jul 2014, at 20:02, doldi.doldi orange.fr wrote: >> >> I was right, because unfortunately ObjectGEODE disappeared soon after that (due to company A purchasing company B then purchased by company C etc.). >> > A = Verilog, B = Telelogic, C = IBM (Rational). > > > -- > Rick Reed - rickreed at tseng.co.uk > Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 > Skype: rickreed_windermere (by arrangement) > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews -------------- next part -------------- An HTML attachment was scrubbed... URL: From eric.brunel at pragmadev.com Fri Aug 1 08:23:16 2014 From: eric.brunel at pragmadev.com (Eric Brunel) Date: Fri, 1 Aug 2014 09:23:16 +0200 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Message-ID: <006B9A7B-CDE5-4C6D-A87E-DEE28B6B14DA@pragmadev.com> Sorry for that, my bad. Aren't the two technologies quite similar, though? I remember having seen observers in ObjectGeode, and they looked a lot like those you can do for the IF toolkit? I didn't actually use the tool though, so it might just be an impression. -- - Eric Brunel - PragmaDev : Real Time Software Development Tools - http://www.pragmadev.com On 31 Jul 2014, at 21:02, doldi.doldi orange.fr wrote: > Hello, > > > No, ObjectGEODE is not based on the IF technology developed by Verimag. The ObjectGEODE simulator performs (among many other things) verification using observers and state space exploration. The slides http://www-if.imag.fr/tutorials/observers.pdf do not describe at all ObjectGEODE simulator etc. > > > In order to "save" ObjectGEODE features and avoid them to be lost, I have described them in detail in 2003 the book "Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis": http://www.wileyeurope.com/remtitle.cgi?isbn=0470852860 > > > I was right, because unfortunately ObjectGEODE disappeared soon after that (due to company A purchasing company B then purchased by company C etc.). > > > ObjectGEODE (patially funded by France Telecom) was not a prototype but a very powerful tool. Sadly, no such tool exists now. Fortunately Pragmadev RTDS is progressively improving and adding features, but it costs a lot of money to make such a tool. > > > Best regards, > > Laurent Doldi > > http://www.tmso-systems.com/ > > > > > > Message du 31/07/14 17:04 > > De : "Eric Brunel" > > A : sdlnews at sdl-forum.org > > Copie ? : > > Objet : Re: [SDLnews] Model Checker inside OpenGEODE > > > >Hello, > > > > Are you actually asking about OpenGEODE? The tool named like this is part of the TASTE project from the ESA and as far as we know, and according to the project page here: > http://taste.tuxfamily.org/wiki/index.php?title=Technical_topic:_OpenGEODE%2C_an_SDL_editor_for_TASTE > it doesn't provide any model checking feature? > > > > If your question is about ObjectGEODE, it seems their model checking feature is based on the IF technology developed by Verimag (details here: http://www-if.imag.fr ). We're not sure about that, but the output of the model verification looks a lot like the one of the IF/IFx toolkit. The technology used here is exhaustive simulation, which means there is no symbolic model checking, just exploration of all the possible paths. The properties it can check are described through 'observers' - you can find a description of these here: http://www-if.imag.fr/tutorials/observers.pdf > > > > As for your other questions - MSC visualization and interactive simulator -, maybe someone who has actually used the tool will be able to answer. ObjectGEODE is quite an old tool though, there are probably only a few people still using it. > > > > Best regards. > > > -- > - Eric Brunel - > > PragmaDev : Real Time Software Development Tools - http://www.pragmadev.com > > > > > > > On 27 Jul 2014, at 01:26, Yared Semu wrote: > Dears, > > > > I am more interested in the implementation of the model checker insider OpenGEODE. It would be awesome if you could answer some of these questions for me. > > 1. What kind of technology does it use? Explicit state model checking or symbolic model checking? > > 2. What kind of properties does it process? Safety vs Liveness? Assertions? > > 3. Does it visualize message sequence charts? (I read that it is able to do MSC, i just wanted to be sure.) > > 4. Does it have an interactive simulator? > > Waiting to hear from you soon. > > > > Kind Regards, > Y. > _______________________________________________ > > SDLnews mailing list > > SDLnews at sdl-forum.org > > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > > > > > > > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews -------------- next part -------------- An HTML attachment was scrubbed... URL: From emmanuel.gaudin at pragmadev.com Fri Aug 1 09:04:54 2014 From: emmanuel.gaudin at pragmadev.com (Emmanuel Gaudin) Date: Fri, 01 Aug 2014 10:04:54 +0200 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Message-ID: <53DB4A26.4040008@pragmadev.com> Hi, I thought even the name Verimag came from the company Verilog and the Imag research lab ? As for model checking with PragmaDev RTDS, there are three possible exports to be used as an input to third party tools: * IF format, reasonable support, to be used as an input to IFx tool. * FIACRE format, experimental support, to be used as an input to TINA , OBP , or CADP tools. * xLIA , good and very active support, format to be used as an input to Diversity tool. IF and FIACRE tools are usually based on exhaustive simulation technologies often ending up with state space explosion. The Diversity technology is based on symbolic resolution and sees the system and its properties as a big equation to solve. PragmaDev and CEA have joined forces in a common lab to work on the integration of RTDS and Diversity. A paper on this will be presented and published at SAM 2014. Regards, Emmanuel Gaudin Le 31/07/2014 21:02, doldi.doldi orange.fr a ?crit : > > Hello, > > No, ObjectGEODE is not based on the IF technology developed by > Verimag. The ObjectGEODE simulator performs (among many other > things) verification using observers and state space exploration. The > slides http://www-if.imag.fr/tutorials/observers.pdf do not describe > at all ObjectGEODE simulator etc. > > In order to "save" ObjectGEODE features and avoid them to be lost, I > have described them in detail in 2003 the book "Validation of > Communications Systems with SDL: The Art of SDL Simulation and > Reachability Analysis": > http://www.wileyeurope.com/remtitle.cgi?isbn=0470852860 > > I was right, because unfortunately ObjectGEODE disappeared soon after > that (due to company A purchasing company B then purchased by company > C etc.). > > ObjectGEODE (patially funded by France Telecom) was not a prototype > but a very powerful tool. Sadly, no such tool exists now. Fortunately > Pragmadev RTDS is progressively improving and adding features, but it > costs a lot of money to make such a tool. > > Best regards, > > Laurent Doldi > > http://www.tmso-systems.com/ > > > > > Message du 31/07/14 17:04 > > De : "Eric Brunel" > > A : sdlnews at sdl-forum.org > > Copie ? : > > Objet : Re: [SDLnews] Model Checker inside OpenGEODE > > > > Hello, > > > > Are you actually asking about OpenGEODE? The tool named like this > is part of the TASTE project from the ESA and as far as we know, > and according to the project page here: > http://taste.tuxfamily.org/wiki/index.php?title=Technical_topic:_OpenGEODE%2C_an_SDL_editor_for_TASTE > it doesn't provide any model checking feature... > > > > If your question is about ObjectGEODE, it seems their model > checking feature is based on the IF technology developed by > Verimag (details here: http://www-if.imag.fr ). We're not sure > about that, but the output of the model verification looks a lot > like the one of the IF/IFx toolkit. The technology used here is > exhaustive simulation, which means there is no symbolic model > checking, just exploration of all the possible paths. The > properties it can check are described through 'observers' - you > can find a description of these here: > http://www-if.imag.fr/tutorials/observers.pdf > > > > As for your other questions - MSC visualization and interactive > simulator -, maybe someone who has actually used the tool will be > able to answer. ObjectGEODE is quite an old tool though, there are > probably only a few people still using it. > > > > Best regards. > > > -- > - Eric Brunel > - > > PragmaDev : Real Time Software Development Tools - > http://www.pragmadev.com > > > > > > > On 27 Jul 2014, at 01:26, Yared Semu > wrote: > > Dears, > > > > I am more interested in the implementation of the model > checker insider OpenGEODE. It would be awesome if you could > answer some of these questions for me. > > 1. What kind of technology does it use? Explicit state model > checking or symbolic model checking? > > 2. What kind of properties does it process? Safety vs > Liveness? Assertions? > > 3. Does it visualize message sequence charts? (I read that it > is able to do MSC, i just wanted to be sure.) > > 4. Does it have an interactive simulator? > > Waiting to hear from you soon. > > > > Kind Regards, > Y. > _______________________________________________ > > SDLnews mailing list > > SDLnews at sdl-forum.org > > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > > > > > > > > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews -- PragmaDev introduces a unique Model Based Testing technology. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: emmanuel_gaudin.vcf Type: text/x-vcard Size: 446 bytes Desc: not available URL: From pavel.morozkin at gmail.com Fri Aug 1 09:21:08 2014 From: pavel.morozkin at gmail.com (Pavel Morozkin) Date: Fri, 1 Aug 2014 12:21:08 +0400 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: References: <933C69E7-5050-4BE8-B4DE-586CC3D6ECF4@pragmadev.com> <1371416698.13954.1406833345795.JavaMail.www@wwinf1f28> Message-ID: 2014-08-01 2:22 GMT+04:00 Rick Reed : > Correction > A = Telelogic > B = Verilog > If we dive into the history (? = Big Blue, D = Rational Software), the story comes interesting: B->A (1999), D->C (2003), A->C (2008). -------------- next part -------------- An HTML attachment was scrubbed... URL: From doldi.doldi at orange.fr Fri Aug 1 10:46:23 2014 From: doldi.doldi at orange.fr (doldi.doldi orange.fr) Date: Fri, 1 Aug 2014 11:46:23 +0200 (CEST) Subject: [SDLnews] Model Checker inside OpenGEODE Message-ID: <1264082136.6315.1406886383899.JavaMail.www@wwinf1f33> Hi, "I thought even the name Verimag came from the company Verilog and the Imag research lab ?": ? It is true for the name, but the IF stuff etc. has alwas been apart from ObjectGEODE. ? The ObjectGEODE simulator (and formal verifier included in it) is an improved?clone of the VEDA2 tool, a reserch project funded by France Telecom (CNET). I have developped a part of VEDA2 with Yves Lejeune, then one year later in Verilog Yves Lejeune has developped the ObjectGEODE simulator. ? The idea of observers etc.?in VEDA2 (so in ObjectGEODE) come from this PhD thesis : Thierry Jeron, Contribution?a la validation des protocoles: test d'infinitude et verification?a la volee, These de Doctorat de l'Universite de Rennes, 27 avril 1991. ? See details in the attached paper on VEDA2; sorry some figures are missing. ? Best regards, Laurent Doldi ? ? > Message du 01/08/14 10:04 > De : "Emmanuel Gaudin" > A : sdlnews at sdl-forum.org > Copie ? : > Objet : Re: [SDLnews] Model Checker inside OpenGEODE > >Hi, > > I thought even the name Verimag came from the company Verilog and the Imag research lab ? > > As for model checking with PragmaDev RTDS, there are three possible exports to be used as an input to third party tools: > IF format, reasonable support, to be used as an input to IFx tool. FIACRE format, experimental support, to be used as an input to TINA, OBP, or CADP tools. > xLIA, good and very active support, format to be used as an input to Diversity tool. > IF and FIACRE tools are usually based on exhaustive simulation technologies often ending up with state space explosion. The Diversity technology is based on symbolic resolution and sees the system and its properties as a big equation to solve. PragmaDev and CEA have joined forces in a common lab to work on the integration of RTDS and Diversity. A paper on this will be presented and published at SAM 2014. > > Regards, > > Emmanuel Gaudin > Le 31/07/2014 21:02, doldi.doldi orange.fr a ?crit?: > > Hello, > > > No, ObjectGEODE is not based on the IF technology developed by Verimag. The ObjectGEODE simulator?performs (among many other things)?verification using observers and state space exploration. The slides??http://www-if.imag.fr/tutorials/observers.pdf do not describe at all ObjectGEODE simulator etc. > ? > In order to "save" ObjectGEODE features and avoid them to be lost, I have described them in detail in 2003 the book "Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis": http://www.wileyeurope.com/remtitle.cgi?isbn=0470852860 > ? > I was right, because unfortunately ObjectGEODE disappeared soon after that (due to company A purchasing company B then purchased by company C etc.). > ? > ObjectGEODE (patially funded by France Telecom) was not a prototype but a very powerful tool. Sadly, no such tool exists now. Fortunately Pragmadev RTDS is progressively improving and adding features, but it costs a lot of money to make such a tool. > ? > Best regards, > Laurent Doldi > http://www.tmso-systems.com/ > ? > > > Message du 31/07/14 17:04 > > De : "Eric Brunel" > > A : sdlnews at sdl-forum.org > > Copie ? : > > Objet : Re: [SDLnews] Model Checker inside OpenGEODE > > > >Hello, > > Are you actually asking about OpenGEODE? The tool named like this is part of the TASTE project from the ESA and as far as we know, and according to the project page here: http://taste.tuxfamily.org/wiki/index.php?title=Technical_topic:_OpenGEODE%2C_an_SDL_editor_for_TASTE it doesn't provide any model checking feature? > > If your question is about ObjectGEODE, it seems their model checking feature is based on the IF technology developed by Verimag (details here:?http://www-if.imag.fr ). We're not sure about that, but the output of the model verification looks a lot like the one of the IF/IFx toolkit. The technology used here is exhaustive simulation, which means there is no symbolic model checking, just exploration of all the possible paths. The properties it can check are described through 'observers' - you can find a description of these here:?http://www-if.imag.fr/tutorials/observers.pdf > > As for your other questions - MSC visualization and interactive simulator -, maybe someone who has actually used the tool will be able to answer. ObjectGEODE is quite an old tool though, there are probably only a few people still using it. > > Best regards. > > -- - Eric Brunel - > > PragmaDev : Real Time Software Development Tools -?http://www.pragmadev.com > > Cordialement, Laurent Doldi -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Forte_92.pdf Type: application/pdf Size: 38014 bytes Desc: not available URL: From Maxime.Perrotin at esa.int Tue Aug 5 09:46:33 2014 From: Maxime.Perrotin at esa.int (Maxime Perrotin) Date: Tue, 5 Aug 2014 10:46:33 +0200 Subject: [SDLnews] Model Checker inside OpenGEODE In-Reply-To: References: Message-ID: Dear Yared, Opengeode author here. There is no simulator/model checker in the tool. But we are making a lot of experiments and technology demonstrations. So perhaps we'll have something in the future. For professional applications, use RTDS anyway. It's a great tool. Maxime 2014-07-27 1:26 GMT+02:00 Yared Semu : > Dears, > > I am more interested in the implementation of the model checker insider > OpenGEODE. It would be awesome if you could answer some of these > questions for me. > > > > 1. What kind of technology does it use? Explicit state model checking or > symbolic model checking? > > > > 2. What kind of properties does it process? Safety vs Liveness? Assertions? > > > > 3. Does it visualize message sequence charts? (I read that it is able to > do MSC, i just wanted to be sure.) > > > > 4. Does it have an interactive simulator? > > > Waiting to hear from you soon. > > Kind Regards, > Y. > > _______________________________________________ > SDLnews mailing list > SDLnews at sdl-forum.org > http://lists.sdl-forum.org/mailman/listinfo/sdlnews > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From JanuszDobrowolski at StateSoft.org Tue Aug 5 23:28:36 2014 From: JanuszDobrowolski at StateSoft.org (Janusz Dobrowolski) Date: Tue, 5 Aug 2014 15:28:36 -0700 Subject: [SDLnews] Potential SDL Enhancements I Message-ID: From: Janusz Dobrowolski [mailto:JanuszDobrowolski at StateSoft.org] Sent: Monday, July 28, 2014 2:00 PM To: 'sdlnews at sdl-forum.org' Subject: FW: [SDLnews] Potential SDL Enhancements Thomas, Thank you for your comments. Since I have no longer a luxury of wearing a "standards hat only", I should stop where a consulting contract would be more appropriate. Anyhow, please let me briefly reply to your comments (inline). Best regards -Janusz From: Thomas Weigert [mailto:thomas.weigert at hengsoft.net] Sent: Saturday, July 26, 2014 6:22 PM To: Janusz Dobrowolski; sdlnews at sdl-forum.org Cc: korel at iit.edu Subject: Re: [SDLnews] Potential SDL Enhancements Janusz, thanks for your interest in SDL. While your descriptions below are rather terse, please find some comments below. Best regards, Th. On 07/25/2014 06:51 PM, Janusz Dobrowolski wrote: The VSDL approach would allow for the significant enhancements to SDL like: . Creation of another hierarchy for SDL diagrams It is not clear what you mean here, maybe you could explain a little more. Currently SDL has various levels of structuring: Hierarchical abstraction, object-oriented decomposition, type parameterization (generics). In addition, aspect-oriented decomposition has been demonstrated for SDL by Cottenier et. al. SDL allows to mix modeling elements (like a state) with flowcharting elements (like e.g. decision block) and programming elements like a simple arithmetic expressions. Thus a hierarchy is not enforced. . Elimination of graphical representation pertaining to trivial programming statements e.g. x = x + 1 (thus uncluttering the graphical pages) The current SDL standard already provides for pushing portions of the transition into a textual representation. You might also want to look at the sample language in Annex 1 of Z.109 for a completely textual modeling language in the spirit of SDL. The maximal benefit would come from using graphical representation for true modeling artifacts only and textual representation for programming artifacts. . Adding Entry, Exit and Input actions (like in UML) This is already in SDL. Great to hear it! . Increasing understandability and maintainability That sounds great, but what do you have in mind? A common complaint about SDL is that over say 100 pages of diagrams it is difficult to see "the woods from a tree". So again using graphical representation for true modeling artifacts and textual representation for programming artifacts would increase understandably and maintability. . Treating VSDL graphical representation as a true modeling language Why is SDL not a "true modeling language?" SDL does not enforce separation of modeling artifacts from programming artifacts. . Programming language independence SDL is independent of any target language used to realize a system specified in SDL. In my view SDL is a mixture of aspects of a modeling and programming language. The remainder of your list are tool specific and not subject to standardization. . Automatic translating of VSDL to any programing or scripting language or other forms of representation. . Increasing the level of automatic validation to systems of the orders higher level of complexity than possible today . New validation algorithm eliminating tools need to "talk" to the user in internal validator terms like: depth first, breathes first, hash etc. True, but without standardization of SDL virtualization VSDL, tools vendor may have difficulty to justify the development of next generation of validation tools. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gunter.mussbacher at mcgill.ca Mon Aug 11 12:39:04 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Mon, 11 Aug 2014 07:39:04 -0400 (EDT) Subject: [SDLnews] Call for Participation: SAM'14 (8th System Analysis and Modelling Conference) Message-ID: <51645.89.12.74.240.1407757144.squirrel@mail.cs.mcgill.ca> ***** CALL FOR PARTICIPATION ***** 8th SYSTEM ANALYSIS AND MODELLING CONFERENCE (SAM'14) Valencia, Spain, September 29th-30th, 2014 http://sdl-forum.org/Events/SAM2014/ Deadline for Early Bird Registration: August 31st, 2014 http://models2014.webs.upv.es/registration_info.htm Two inspiring keynote speakers: Jean-Marc J?z?quel, University of Rennes/IRISA, France "Safely Reusing Model Transformations through Family Polymorphism" Lionel Briand, University of Luxembourg, Luxembourg "Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned" A comprehensive program with 18 full and three short papers. For the latest conference program updates, see: http://sdl-forum.org/Events/SAM2014/programme.htm In addition, incredible Valencia with its rich cultural heritage of music, art, gastronomy, architecture and folklore is waiting to be explored. Daniel Amyot, Pau Fonseca i Casas and Gunter Mussbacher in their role as Program Co-Chairs, as well as the whole SAM'14 Team look forward to welcoming you to an exciting SAM'14 conference. http://sdl-forum.org/Events/SAM2014/committee.htm From gunter.mussbacher at mcgill.ca Fri Aug 15 12:23:52 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Fri, 15 Aug 2014 07:23:52 -0400 (EDT) Subject: [SDLnews] Last reminder - Call for Participation: RE'14 (22nd IEEE Intl Requirements Engineering Conference) Message-ID: <58881.65.93.200.170.1408101832.squirrel@mail.cs.mcgill.ca> ***** Last Reminder - CALL FOR PARTICIPATION ***** 22nd IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'14) Karlskrona, Sweden, August 25th-29th, 2014 http://www.re14.org Registration: http://webhotel.bth.se/re14/pages/conference/registration/ Three inspiring keynote speakers: Annie I. Ant?n, Georgia Tech College of Computing, USA Anthony Finkelstein, University College London, UK Anthony I. Wasserman, Carnegie Mellon University, USA A comprehensive program of workshops and tutorials given by a mix of industrial practitioners and academics: http://webhotel.bth.se/re14/pages/conference/workshops/ http://webhotel.bth.se/re14/pages/conference/tutorials/ Student awards and the Ready-Set-Transfer Panel: http://webhotel.bth.se/re14/pages/interactive/student_awards/ http://webhotel.bth.se/re14/pages/conference/panels_debates/ For the latest conference program updates: http://webhotel.bth.se/re14/pages/conference/conference_program/ Blekinge (the region) is very beautiful and unique. It is waiting for you and your family to explore before, during, and after the conference with exclusive activity packages offered at a discount for RE'14 attendees: http://webhotel.bth.se/re14/pages/event/explore_karlskrona/ Tony Gorschek (General Chair), Robyn Lutz (Program Chair), Marjo Kauppinen (Industry Track Co-Chair), Sarah C. Gregory (Industry Track Co-Chair), and the whole RE'14 Team invite you to attend RE'14. http://www.re14.org/oc From gunter.mussbacher at mcgill.ca Fri Aug 29 08:29:51 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Fri, 29 Aug 2014 03:29:51 -0400 (EDT) Subject: [SDLnews] SAM'14: Early Registration Reminder Message-ID: <12748.91.103.36.0.1409297391.squirrel@mail.cs.mcgill.ca> ***** Early-Bird Registration Reminder ***** 8th SYSTEM ANALYSIS AND MODELLING CONFERENCE (SAM'14) Valencia, Spain, September 29th-30th, 2014 http://sdl-forum.org/Events/SAM2014/ Only a few more days until the end of early-bird registration for SAM'14: ***** August 31st, 2014! ***** Take advantage of these cheaper rates. Daniel, Pau, Gunter SAM'14 Program Co-Chairs From gunter.mussbacher at mcgill.ca Mon Sep 15 15:29:56 2014 From: gunter.mussbacher at mcgill.ca (Gunter Mussbacher) Date: Mon, 15 Sep 2014 10:29:56 -0400 (EDT) Subject: [SDLnews] Last reminder - Call for Participation: SAM'14 (8th System Analysis and Modelling Conference) Message-ID: <63318.65.93.68.226.1410791396.squirrel@mail.cs.mcgill.ca> ***** Last Reminder - CALL FOR PARTICIPATION ***** 8th SYSTEM ANALYSIS AND MODELLING CONFERENCE (SAM'14) Valencia, Spain, September 29th-30th, 2014 http://sdl-forum.org/Events/SAM2014/ Registration: http://models2014.webs.upv.es/registration_info.htm Two inspiring keynote speakers: Jean-Marc J?z?quel, University of Rennes/IRISA, France "Safely Reusing Model Transformations through Family Polymorphism" Lionel Briand, University of Luxembourg, Luxembourg "Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned" A comprehensive program with 18 full and three short papers. For the latest conference program updates, see: http://sdl-forum.org/Events/SAM2014/programme.htm In addition, incredible Valencia with its rich cultural heritage of music, art, gastronomy, architecture and folklore is waiting to be explored. Daniel Amyot, Pau Fonseca i Casas and Gunter Mussbacher in their role as Program Co-Chairs, as well as the whole SAM'14 Team look forward to welcoming you to an exciting SAM'14 conference. http://sdl-forum.org/Events/SAM2014/committee.htm From rickreed at tseng.co.uk Sun Nov 2 23:09:02 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Sun, 2 Nov 2014 23:09:02 +0000 Subject: [SDLnews] SAM2014 books available Message-ID: <87BB6208-1EF9-4BF6-ACC7-A6576097DE26@tseng.co.uk> Dear Colleagues, There were some copies of the LNCS proceedings for SAM2014 > that were not needed at the event. These are now available for purchase. The members price is 20 Euros including postage: > (member username/password needed) The non-members price is 30 Euros including postage: > There are also copies of proceedings of some of the previous events available. If you would like any of these, you can place the order at the same time. -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 Skype: rickreed_windermere (by arrangement) -------------- next part -------------- An HTML attachment was scrubbed... URL: From list-announcer at dbai.tuwien.ac.at Wed Nov 26 13:20:13 2014 From: list-announcer at dbai.tuwien.ac.at (list-announcer at dbai.tuwien.ac.at) Date: Wed, 26 Nov 2014 14:20:13 +0100 (CET) Subject: [SDLnews] Doctoral Program on Logical Methods in Computer Science (LogiCS) Message-ID: <20141126132013.DBC251E523@vexpert.dbai.tuwien.ac.at> NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS) http://logic-cs.at/phd/ Funded Doctoral Positions in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. Fermueller R. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 12 associated members who further strengthen the research and teaching activities of the college. Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 1-2 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/en/research-funding/personnel-costs/) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. Next application Deadline: December 1, 2014. LOGIC IN AUSTRIA Austria has a highly active and successful logic in computer science community. Recent activities include: vsl2014.at Vienna Summer of Logic, the Largest Conference in the History of Logic www.arise.or.at Austrian Research Network in Rigorous Systems Engineering vcla.at Vienna Center for Logic and Algorithms kgs.logic.at International Kurt Goedel Society HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. For further information please contact: info at logic-cs.at From k.wasielewska at fedcsis.org Sun Dec 14 14:15:46 2014 From: k.wasielewska at fedcsis.org (Federated Conference on Computer Science and Information Technologies) Date: Sun, 14 Dec 2014 15:15:46 +0100 Subject: [SDLnews] FedCSIS 2015 - PRELIMINARY CALL FOR PAPERS Message-ID: <548D9B92.3000303@fedcsis.org> PRELIMINARY CALL FOR PAPERS 2015 Federated Conference on Computer Science and Information Systems (FedCSIS) Lodz, Poland, 13 - 16 September, 2015 www.fedcsis.org (FedCSIS on www.ieee.org: http://tinyurl.com/FedCSIS2015onIEEE) We would like to cordially invite you to consider contributing a paper to the FedCSIS 2015 - a yearly international multi-conference organized by the Polish Information Processing Society (PTI) in technical cooperation with the IEEE Region 8, ACM Special Interest Group on Applied Computing, European Alliance for Innovation, Lodz ACM Chapter, Eastern Cluster ICT Poland, Mazovia Cluster ICT (further technical collaborations will be announced shortly). Please forward the announcement to your colleagues and associates who could be interested in it. The FedCSIS Multiconference consists of Events (conferences, symposia, workshops, special sessions). Each Event may run over any span of time within the conference dates (from half-day to three days). The FedCSIS Events provide a platform for bringing together researchers, practitioners, and academia to present and discuss ideas, challenges and potential solutions on established or emerging topics related to research and practice in computer science and information systems. FedCSIS EVENTS The FedCSIS multi-conference consists of EVENTS (conferences, workshops, consortia, tutorials, etc.), grouped into six conference areas. AAIA'15 - 10th International Symposium Advances in Artificial Intelligence and Applications ---- AIMaVIG'15 -1st International Workshop on Artificial Intelligence in Machine Vision and Graphics ---- AIMA'15 - 5th International Workshop on Artificial Intelligence in Medical Applications ---- ASIR'15 - 5th International Workshop on Advances in Semantic Information Retrieval ---- CEIM'15 - 2nd Workshop on Complex Events and Information Modelling ---- LQMR'15 - 1st Workshop on Logics for Qualitative Modelling and Reasoning ---- WCO'15 - 8th Workshop on Computational Optimization CSS - Computer Science & Systems ---- BCPC'15 - 1st International Workshop on Biological, Chemical and Physical Computations ---- CANA'15 - 8th Computer Aspects of Numerical Algorithms ---- IWCPS'15 - 2nd International Workshop on Cyber-Physical Systems ---- MMAP'15 - 8th International Symposium on Multimedia Applications and Processing ---- WAPL'15 - 5th Workshop on Advances on Programming Languages ECRM - Education, Curricula & Research Methods ---- DS-RAIT'15 - 2nd Doctoral Symposium on Recent Advances in Information Technology ---- ISEC'15 - 4th Information Systems Education & Curricula Workshop ---- WmL'15 - 1st International Workshop on Mobile Learning iNetSApp'15 - 3rd International Conference on Innovative Network Systems and Applications ---- EAIS'15 - 2nd Workshop on Emerging Aspects in Information Security ---- SoFAST-WS'15 - 4th International Symposium on Frontiers in Network Applications, Network Systems and Web Services ---- WSN'15 - 4th International Conference on Wireless Sensor Networks IT4MBS - Information Technology for Management, Business & Society ---- ABICT'15 - 6th International Workshop on Advances in Business ICT ---- AITM'15 - 13th Conference on Advanced Information Technologies for Management ---- ISM'15 - 10th Conference on Information Systems Management ---- IT4L'15 - 4th Workshop on Information Technologies for Logistics ---- KAM'15 - 21st Conference on Knowledge Acquisition and Management JAWS - Joint Agent-oriented Workshops in Synergy ---- ABC:MI'15 - 10th Workshop on Agent Based Computing: from Model to Implementation ---- MAS&S'15 - 9th International Workshop on Multi-Agent Systems and Simulations ---- SEN-MAS'15 - 4th International Workshop on Smart Energy Networks & Multi-Agent Systems KEYNOTE SPEAKERS List of keynote speakers will be announced shortly. PAPER SUBMISSION AND PUBLICATION Papers should be submitted by April 24, 2015. Preprints will be published on a USB memory stick provided to the FedCSIS participants. Only papers presented during the conference will be submitted to the IEEE for inclusion in the Xplore Digital Library. Furthermore, proceedings, published in a volume with ISBN and ISSN numbers will posted at the conference WWW site. Moreover, most Events' organizers arrange quality journals, edited volumes, etc. and may invite selected extended and revised papers for post-conference publications (information can be found at the websites of individual events). IMPORTANT DATES - Paper submission: April 24, 2015 - Position paper submission: June 1, 2015 - Acceptance decision: June 15, 2015 - Final version of paper submission: July 1, 2015 - Final deadline for discounted fee: July 1, 2015 - Conference dates: September 13-16, 2015 CHAIRS OF FedCSIS CONFERENCE SERIES Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki CONTACT FedCSIS AT: secretariat at fedcsis.org FedCSIS on Facebook: http://tinyurl.com/FedCSISFacebook FedCSIS on LinkedIN: http://tinyurl.com/FedCSISLinkedIN From rickreed at tseng.co.uk Thu Dec 18 10:53:19 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Thu, 18 Dec 2014 10:53:19 +0000 Subject: [SDLnews] ITU-T SDL+ Methodology document In-Reply-To: <73B3030F-4BAF-4E6D-A68D-3EF22923EF81@tseng.co.uk> References: <73B3030F-4BAF-4E6D-A68D-3EF22923EF81@tseng.co.uk> Message-ID: <29904B0A-59C0-4F89-A8A1-EE0BF2ABF6CD@tseng.co.uk> Dear Colleagues, I have just sent the email below to the same addresses as this email. However, I am aware that email below may be blocked by some systems because of the MSWord document attachment and/or the size of the attachment. Contact me if you want access to the document and have not received it attached to the previous email (allow time for it to arrive - some systems take a while to check such emails for viruses/spam). -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 > On 18 Dec 2014, at 10:44, Rick Reed wrote: > > Dear Colleagues, > > At the last SG17 meeting in September a revision of the SDL+ methodology document was presented. > > This has been updated to reflect changes since the current document was published b ITU-T in May 1997. > > This document is a Supplement to the Z series of ?Recommendations? (ITU-T standards). > It is not normative, and is therefore not subject to the same approval procedure as a Recommendation. > Supplements are approved for publication by a meeting of the responsible ITU-T Study Group - SG17 in this case. > > It was decided at the last SG17 meeting that the revised methodology document should allowed a period of review and comment before approval. > The next SG17 meeting is 8-17 April 2015, and the plan is to approve the document at that meeting. > > You are therefore invited to review the document, which is attached and can also be found at: > > > > for SDL Forum Society members - member username/password needed. > > > > for ITU TIES members - member username/password needed. > > I am the editor for the document and you can send your comments to me, or to > if you are a member of that list (for ITU-T Q12/17 - is the group for this work). > > -- > Rick Reed - rickreed at tseng.co.uk > Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rickreed at tseng.co.uk Thu Dec 18 10:44:09 2014 From: rickreed at tseng.co.uk (Rick Reed) Date: Thu, 18 Dec 2014 10:44:09 +0000 Subject: [SDLnews] ITU-T SDL+ Methodology document Message-ID: <73B3030F-4BAF-4E6D-A68D-3EF22923EF81@tseng.co.uk> Dear Colleagues, At the last SG17 meeting in September a revision of the SDL+ methodology document was presented. This has been updated to reflect changes since the current document was published b ITU-T in May 1997. This document is a Supplement to the Z series of ?Recommendations? (ITU-T standards). It is not normative, and is therefore not subject to the same approval procedure as a Recommendation. Supplements are approved for publication by a meeting of the responsible ITU-T Study Group - SG17 in this case. It was decided at the last SG17 meeting that the revised methodology document should allowed a period of review and comment before approval. The next SG17 meeting is 8-17 April 2015, and the plan is to approve the document at that meeting. You are therefore invited to review the document, which is attached and can also be found at: for SDL Forum Society members - member username/password needed. for ITU TIES members - member username/password needed. I am the editor for the document and you can send your comments to me, or to if you are a member of that list (for ITU-T Q12/17 - is the group for this work). -- Rick Reed - rickreed at tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: T13-SG17-140917-TD-PLEN-1278!!MSW-E.docx Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document Size: 2455344 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: