ICT COST Action IC1202
7.11.2012 - 6.11.2016.
Chair of the Action: Bjorn LISPER
Principal investigator: Zoran BUDIMAC
Embedded systems increasingly permeate our daily lives. Many of those systems are business- or safety-critical, with strict timing requirements. Code-level timing analysis (used to analyse software running on some given hardware w.r.t. its timing properties) is an indispensable technique for ascertaining whether or not these requirements are met. However, recent developments in hardware, especially multi-core processors, and in software organisation render analysis increasingly more difficult, thus challenging the evolution of timing analysis techniques. New principles for building "timing-composable" embedded systems are needed in order to make timing analysis tractable in the future. This requires improved contacts within the timing analysis community, as well as with related communities dealing with other forms of analysis such as model-checking and type-inference, and with computer architectures and compilers. The goal of this COST Action is to gather these forces in order to develop industrial-strength code-level timing analysis techniques for future-generation embedded systems.
18.09.2012 - 18.09.2014.
Principal investigators: Zoran BUDIMAC, Marjan HERIČKO, Tihana GALINAC GRBAC
Multi-lateral cooperation of 3 Universities from 3 countries:
Faculty of Sciences, University of Novi Sad, Serbia
Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia
Faculty of Engineering, University of Rijeka, Croatia
Supported by Municipial Secretariat for Science and Technological Development, Project number 114-451-3636/2012.
6.10.2011 - 6.10.2012.
Principal investigators: Mirjana IVANOVIC, Marjan HERIČKO, Zoltan HORVATH, Hannu JAAKKOLA
Multi-lateral cooperation of 4 Universities from 4 countries:
Faculty of Sciences, University of Novi Sad, Serbia
Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia
Faculty of Informatics, Eotvos Lorand University, Budapest, Hungary
Tampere University of Technology, Pori, Finland
Supported by Municipial Secretariat for Science and Technological Development, Project number 114-451-3737/2011.
Bilateral project: 2016-2017
Principal investigator from Serbia: dr Zoran Budimac, Faculty of Sciences, University of Novi Sad
Principal investigator from Slovenia: dr Marjan Heričko, Faculty of Electronics, Computing and Informatics (Maribor)
Software quality monitoring and assurance, and static software quality analysis (and development of appropriate tools) are well established, recognized, and successful area of research with application in industry. Examples of static software analyzers are: software metrics tools, dependency network extractors, software architecture recovery tools, codeclone detectors, software change monitors, etc. All these techniques deal with the quality of software product based on a static representation of its design and implementation. Contrary to this, monitoring and maintaining quality in areas related to other phases of software development and activities supporting implementation are still not well established. This project proposal concentrates on applying and adapting principles, algorithms, and tools of software quality to several related areas including advanced and unexploited varieties of software. The good practices in monitoring quality of software would then be transferred to related areas. Specifically we would deal with applying and adopting static software quality analyzers to the code written in languages that appear in software development, making the code complex and heterogeneous (e.g. markup languages or knowledge description languages). Characteristic examples of software products written in multiple input languages are mobile and web applications that provide important and specifically critical (ebusiness) services and whose growth in the market requires more quality control. However, these are areas where quality analyzers were not consistently and systematically applied. The set of invented analyzers would be implemented and placed into an easytouse software framework thus enabling its practical usefulness. This framework would be a practical proof of a synergy achieved in applying consistent software quality measurements in different areas.