Evaluation of tool support for functional specification of complex systems
Authors: 
Olga Goubali, Patrick Girard, 
Laurent Guittet, Alain Bignon, Djamal Kesraoui, Laurianne Boulhic, Pascal Berruet, Jean-Frédéric BouillonAuthors Info & Claims
Article No.: 16, Pages 1 - 8
Abstract
To design a sociotechnical and complex system, system designers are in charge of the functional specification because they have an expert knowledge of its operation. However, these experts do not usually have the programming knowledge of those who design the supervision system. To capture the knowledge of the expert on the system and to have more easily verified and validated functional specifications, without training in formal methods, we propose a tool that is inspired by Programming by Example techniques (EBP). This tool is composed of a User Interface (UI) for specification connected to two modules: a generalization module and a function interface generation module. To validate the proposed interface, we have evaluated the usability (ISO 9241-11 and ISO-13407) of the system with real users. To complete our analysis, ergonomic audit on the use of the UI is shown. This paper presents our approach and demonstrates its usability.
References
[1]
Bastien, J.M.C., Scapin, D. (1993). Ergonomic Criteria for the Evaluation of Human-Computer interfaces. Institut National de recherche en informatique et en automatique, France.
[2]
Bignon, A., A. Rossi et P. Berruet (2013). An integrated design flow for the joint generation of control and interfaces from a business model. Computers in industry 64. p. 634--649.
[3]
Bollin, A., & Rauner-Reithmayer, D. (2014, June). Formal specification comprehension: the art of reading and writing z. In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (pp. 3--9). ACM.
[4]
Boucher, A. (2009).Ergonomie web : Pour des sites web efficaces (2nde Ed.). Eyrolles.
[5]
Caumont, D. (2010).Les études de marché. Dunod.
[6]
Goubali, O., Bignon, A., Berruet, P., Girard, P., & Guittet, L. (2014.). Anaxagore, un exemple d'ingénierie dirigée par les modèles pour la supervision industrielle.
[7]
Kolski C. et Ezzedine H. Conception et évaluation des IHM de supervision : éléments méthodologiques. Revue Génie Logiciel (2003), 65, pp.2--11.
[8]
Lachaume, T., Girard, P., Guittet, L., & Fousse, A. (2012). ProtoTask, new task model simulator. In Human-Centered Software Engineering (pp. 323--330). Springer Berlin Heidelberg.
[9]
Lieberman, H., editor (2001). Your wish is my command: Programming by example. Morgan Kaufman.
[10]
MOUSSA, F., Kolski, C., & Riahi, M. (2006). Analyse des dysfonctionnements des systèmes complexes en amont de la conception des IHM: apports, difficultés, et étude de cas.Revue d'Interaction Homme-Machine Vol, 7(2).
[11]
Nielsen, J. (1994). Heuristic evaluation. Usability Inspection Methods, 17 (1), 25--62.
[12]
Pham H. System Software Reality (Spring Series in Reality Engineering), Springer-Verlag, New York (2005).
[13]
Rechard, J., 2015. Introduction des critère ergonomiques dans un système de génération automatique d'interfaces de supervision. Université de Bretagne Sud.
[14]
Trudel, S. (2012).Using the COSMIC functional size measurement method (ISO 19761) as a software requierements improvement mechanism. Université du Québec.
[15]
Weigers, Karl E. 2003. Software requirements, 2nd. Redmond, Wash.: Microsoft Press, xii, 350 p.
Recommendations
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Designing Functional Specifications for Complex Systems
Proceedings, Part I, of the 18th International Conference on Human-Computer Interaction. Theory, Design, Development and Practice - Volume 9731For designing complex and sociotechnical System that strongly interact with humans e.g., a ship is a large sociotechnical system. systems, designers are in charge of the functional specification because they have an operational expert knowledge. However,...
Functional specification of time-sensitive communicating systems
A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2016 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 06 July 2016
Check for updates
Qualifiers
- Research-article
Conference
ERGO'IA
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 37Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in