REFERENCIAS CAPÍTULO 1

Anuncio
Referencias
R
REEFFEERREEN
NC
CIIA
ASS
CAPÍTULO 1
Alves (2003)
Mário Alves. Real-Time Communications over Hybrid Wired/Wireless PROFIBUSBased Networks. Tesis doctoral, febrero 2003.
ASI (1990)
Actuator/Sensor Interface. EN 50295, IEC 62026/2
Balbastre (2002)
Patricia Balbastre. Modelo de tareas para la integración del control y la planificación
en sistemas de tiempo real. Tesis doctoral, Universitat Politècnica de València,
2002.
Balbastre et al (2000)
P. Balbastre, I. Ripoll, A. Crespo. Control Task Delay Reduction under Static and
Dynamic Scheduling Policies. 7th International Conference on Real-Time Computing
Systems and Applications (RTCSA 2000). Cheju Island, Corea del Sur.
Balbastre y Ripoll (2002)
Patricia Balbastre, Ismael Ripoll. Schedulability analysis of window-constrained
execution time tasks for real-time control. Proceedings of Euromicro Conference on
Real-Time Systems, Vienna 2002.
Bennett (1979)
Stuart Bennett. A history of control engineering 1800-1930. IEEE Control
Engineering series 8, Peter Peregrinus Ltd, 1979.
Bennet (1988)
Stuart Bennet. Real-Time Computer Control: An Introduction. Prentice Hall
International, Series in Systems and Control Engineering, 1988.
Bennett (1993)
Stuart Bennett. A history of control engineering 1930-1955. IEEE Control
Engineering series 47, Peter Peregrinus Ltd., 1993.
Boehm (1988)
B. Boehm. A Spiral Model for Software Development and Enhacement. Computer,
vol. 21, nº 5, pp. 61-72, mayo 1988.
Brooks (1975)
F. Brooks. The Mytical Man-Month. Addison-Wesley, 1975.
Burns y Wellings (2003)
Alan Burns y Andy Wellings. Sistemas de Tiempo Real y Lenguajes de
Programación. Addison Wesley, 2003.
Referencias
CAN (1991)
Controller Area Network. Bosch CAN specification, V 2.0 PartA. R. Bosch Gmbh,
1991.
Crespo et al (1994)
Crespo, V. Botti, F. Barber, D. Gallardo, E. Onaindia. A Temporal Blackboard for
real-time process control. Journal of Engineering Applications of Artificial
Intelligence. Vol 7. Nº 3, junio 1994. Pp 255-266.
DOCE (2002)
Diario Oficial de las Comunidades Europeas. 29-10-2002. L294/1-43. Programa
específico de investigación, desarrollo tecnológico y demostración denominado
«Integración y fortalecimiento del Espacio Europeo de la Investigación» (20022006). (2002/834/CE)
Dyer (1992)
M. Dyer. The Cleanroom Approach to Quality Software Development. Wiley, 1992.
FF (1997)
Foundation Fieldbus. EN 50170/A, IEC 61158 Type 1.
Heck et al (2003)
Bonnie S. Heck, Linda M. Wills, George J. Vachtsevanos. Software Technology for
Implementing Reusable, Distributed Control Systems. IEEE Control Systems
Magazine, pp. 21-35, febrero 2003.
Hughes (1990)
John Hughes. Why Functional Programming Matters. In D. Turner, editor, Research
Topics in Functional Programming. Addison Wesley, 1990.
IEEE (1993)
IEEE. Standards Collection: Software Engineering. IEEE Standard 610.12-1990,
IEEE 1993
ISO (1978)
International Organization for Standardization. Open Systems Interconnection-Basic
Reference Model. ISO 7498, 1978.
Kerr y Hunter (1994)
J. Kerr y R. Hunter. Inside RAD. McGraw Hill, 1994.
Kuo (1996)
Benjamin C. Kuo. Sistemas de Control Automático. Séptima Edición. Prentice Hall
Hispanoamericana, 1996.
Laplante (1997)
Phillip A. Laplante. Real-Time Systems Design and Analysis. IEEE Press, 1997.
Lian (2001)
Feng-Li Lian. Analysis, Design, Modeling, and Control of Networked Control
Systems. Tesis doctoral, The University of Michigan, mayo 2001.
Lian et al (2001)
Feng-Li Lian, James R. Moyne, and Dawn M. Tilbury,
Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet.
IEEE Control Systems Magazine, Vol. 21, No. 1, Page(s): 66-83, febrero 2001.
Referencias
Martí (2002)
Pau Martí. Analysis and Design of Real-Time Control Systems with Varying Control
Timing Constraints. Tesis doctoral, Universitat Politècnica de Catalunya, 2002.
Mazzocchi (2003)
Stefano Mazzocchi. Introduccing Cocoon.
http://cocoon.apache.org/2.1/introduction.html
McDermid y Rook (1993)
J. McDermid y P. Rook. Software Development Process Model. Software Engineer’s
Reference Book, CRC Press, pp. 15/26-15/28, 1993.
Murray et al (2003)
Richard M. Murray, Karl J. Åström, Stephen P. Boyd, Roger W. Brockett, Gunter
Stein. Future Directions in Control in an Information-Rich World. IEEE Control
Systems Magazine, pp. 20-33, abril 2003.
Ogata (1998)
Katsuhiko Ogata. Ingeniería de Control Moderna. Tercera Edición. Prentice Hall
Hispanoamericana, 1998.
Otanez (2002)
Paul Otanez. Performance Optimization of Networked Control Systems. Tesis
doctoral, The University of Michigan, abril 2002.
Palencia (1999)
José Carlos Palencia Gutiérrez. Análisis de planificabilidad de sistemas distribuidos
de tiempo real basados en prioridades fijas. Tesis doctoral, Universidad de
Cantabria, 1999.
Palencia y González Harbour (2003)
J.C. Palencia and M. González Harbour. Offset-Based Response Time Analysis of
Distributed Systems Scheduled under EDF. Proceedings of Euromicro Conference on
Real-Time Systems (ECRTS03), Porto, Portugal, July 2003.
Pimentel (1990)
Juan R. Pimentel. Communication networks for manufacturing. Prentice-Hall
Internacional Editions, 1990.
Pinto (1999)
Jim Pinto. The Great Fieldbus debate - is Over!. Industrial Controls Intelligence,
noviembre 1999.
Presman (2002)
Roger S. Pressman. Ingeniería del Software. Un enfoque práctico. (5ª edición)
Editorial McGraw Hill, 2002.
PROFIBUS (1992)
PROcess Field BUS. Profibus Standard. DIN19245 part I and II, EN 50 170, 1992.
Rajkumar (1991)
Ragunathan Rajkumar. Synchronization in real-time systems. A priority inheritance
approach. Kluwer academic publishers, 1991.
Royce (1970)
W. W. Royce. Managing the development of large software systems: concepts and
techniques. Proceedings WESCON, agosto 1970.
Referencias
Sáez et al (2000)
Sergio Sáez, Joan Vila and Alfons Crespo. On Accepting Aperiodic Transactions in
Distributed Systems. Proceedings of 7th International Conference on Real-Time
Computing Systems and Applications. Cheju-do, South Korea, diciembre 2000.
Sink (2002)
Sink P. Industrial Ethernet: A Pocket Guide. ISA Press, 2002
Sommerville (1992)
Ian Sommerville. Software Engineering. Fourth edition. Addison-Wesley, 1992.
Spyevy (1992)
J. M. Spyevy. The Z Notation: A Reference Manual. Prentice-Hall, 1992.
Tindell et all (1995)
K. Tindell, A. Burns and A.J. Wellings. Analysis of Hard Real-Time Communications.
Real-Time Systems, Vol. 9(2), pp. 147-171, Kluwer Academic Publishers,
September 1995.
Tindell y Burns (1994)
Tindell, K. and Burns, A. Guaranteeing Message Latencies on Controller Area
Network (CAN). Proceedings 1st International CAN Conference, pp. 2-11, Mainz
(Germany), September 1994.
Tindell y Clark (1994)
Tindell, K. and Clark, J. Holistic schedulability analysis for distributed hard real-time
systems. Microprocessing & Microprogramming, Vol. 50 Nºs 2-3, pp. 117-134, Abril
1994.
Törngren (1998)
Martin Törngren. Fundamentals of implementing real-time control applications in
distributed computer systems. Real-Time systems, Kluwer Academic Publishers, vol
14, 219-250, nº 3, mayo 1998.
Tovar (1999)
Eduardo Tovar. Supporting Real-Time Communications with Standard Factory-Floor
Networks. Tesis doctoral, The Polytechnic Institute of Porto, mayo 1999.
Yook et al (2000)
J. K. Yook, D. M. Tilbury, N. R. Soparkar. A Design Methodology for Distributed
Control Systems to Optimize Performance in the Presence of Time Delays.
Proceedings of the American Control Conference, Chicago, June 2000.
Referencias
CAPÍTULO 2
Agha (1986)
Agha G. Actors: A Model of Concurrent Computation in Distributed Systems. MIT
Press, Cambridge,MA, 1986.
Aho et al (1986)
A.V. Aho, R. Sethy, J. Ullman. Compilers: Principles, Techniques and Tools.
Addison-Wesley, Reading, MA, segunda edición, 1986.
ANSI/IEEE (2000)
ANSI/IEEE 1471-2000. Recommended Practice for Architectural Description of
Software Intensive System, octubre 2000.
Award et al (1996)
Awad, M., Kuusela J, Jurgen Ziegler. Object Oriented Technology for Real-Time
Systems. Prentice Hall. 1996.
Bass et al (1994)
Bass, J. M., A. R. Browne, M. S. Hajji, D. G. Marriott, P. R. Croll and P. J. Fleming.
Automating the Development of Distributed Control Software. IEEE Parallel and
Distributed Technology, Vol. 2, No. 4, Winter 1994, pp. 9-19.
Boehm (1989)
Boehm, B. W. Verifying and Validating Software Requirements and Design
Specifications. Software Risk Management ,IEEE Computer Society Press, pp.205218, 1989.
Browne et al (1996)
Browne, A. R., J. M. Bass, M. S. Hajji, P. R. Croll and P. J. Fleming. A Prototype
Development Framework for Parallel Real-Time Control Software. Transputer
Communications, special issue on CASE for parallel systems, Vol 3, No. 1, January
1996, pp. 69-77.
Burns y Wellings (1995)
Burns, A., Wellings A. HRT-HOOD: A Structured Design Method for Hard Real-Time
Ada Systems. Real-time Safety Critical Systems. Vol. 3. Elsevier. 1995.
Egyed (2000)
Egyed A.F. Heterogeneous View Integration and its Automation. Tesis doctoral.
University of Southern California. Agosto 2000.
Grose et al (2002)
Timothy J. Grose, Gary C. Doney, Stephen A. Brodsky. Mastering XMI. Java
programming with XMI, XML and UML. OMG Press, Wiley, 2002.
Hajji et al (1997)
Hajji, M.S., J. M. Bass, A. R. Browne and P. J. Fleming. Design Tools for Hybrid
Control Systems. Int. Workshop on Hybrid and Real-Time Systems, HART ‘97, Oded
Maler (Ed.), Grenoble, France, LNCS 1201, Springer-Verlag, March 1997, pp. 8792.
Harel et al (1990)
Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring and M. Trakhtenbrot, STATEMATE: A Working Environment for the
Development of Complex Reactive Systems, IEEE Transactions on Software
Engineering, Vol. 16, pp. 403-414, 1990.
Referencias
Hopcroft et al (2000)
J.E. Hopcroft, R. Motwani, J. Ullman. Introduction to autómata theory, languages
and computation, 2nd edition. Addison Wesley,2000.
Hylands et al (2003)
Hylands C., Lee E., Liu J., Liu X., Neuendorffer S., Xiong Y., Zhao Y., Zheng H.
Overview of the PTOLEMY project. Technical Memorandum UCB/ERL M03/25.
http://ptolemy.eecs.berkeley.edu/. Julio 2003.
Jacobson et al (2000)
Ivar Jacobson, Grady Booch, James Rumbaugh. El Proceso Unificado de Desarrollo
de Software. Addison Wesley, 2000.
Kruchten (1995)
Kruchten, P. The 4+1 View Model of Architecture. IEEE Software 12(6): 42-50.
1995.
Lee (2000)
Edward A. Lee. What's Ahead for Embedded Software?. IEEE Computer Magazine,
Septiembre 2000, pp. 18-26.
Locke (1999)
Locke C.D. An Architectural Perspective of Real-Time Ada Applications. Reliable
Software Technologies- Ada Europe 99. Lecture Notes in Computer Science 1622.
Springer Verlag, 1999.
Mazzini et al (2003)
Mazzini S., D'Alessandro M., Di Natale M., Domenici A., Lipari G., Vardanega T..
HRT-UML: Taking HRT-HOOD onto UML. 8th International Conference on Reliable
Software Technologies, Ada-Europe 2003, Toulouse, Francia, junio 2003.
McDermid (1993)
J. McDermid. Formal Methods: Use and relevance for the development of safety
critical systems. Safety Aspects of Computer Control, Ed P A Bennett, Butter-worth
Heinemann, 1993.
Medvidovic y Taylor (2000)
Medvidovic N. y Taylor R.N. A Classification and Comparison Framework for
Software Architecture Description Languages. IEEE Transactions on Software
Engineering, vol. 26, no. 1. Enero 2000.
Millar y Mukerji (2001)
Millar J y Mukerji J. Model Driven Architecture (MDA). OMG, ormsc/2001-07-01,
Architecture Board ORMSC1, Julio 2001. www.omg.org/mda/specs.htm
Moore y Cooling (2000)
A. Moore, N. Cooling. Developing real-time Systems using Object Technology.
Foundation and Overview version 1.3. www.artisansw.com, 2000.
OMG (2003)
OMG. Final draft of the Schedulability Profile. ptc/03-03-02, 2 de marzo 2003.
Paulk et al (1995)
Paulk, M. C., Weber, C. V., Curtis, B., and Chrissis, M. B.. The Capability Maturity
Model for Software: Guidelines for Improving the Software Process. AddisonWesley, 1995
Referencias
Pruitt et al (1998)
Steve Pruitt, Doug Stuart, T.W. Cook. The merit of XML as an Architecture
Description Language Meta-Language. Microelectronics and Computer Technology
Corp, octubre 1998.
Rodríguez Polo (2003)
Óscar Rodríguez Polo. EdROOM, una herramienta abierta para el desarrollo de
sistemas software de tiempo real basados en componentes. Tesis doctoral.
Universidad Complutense de Madrid. Marzo 2003.
Selic et al (1994)
Bran Selic, Garth Gullekson, Paul T. Ward. Real-Time Object-Oriented Modeling.
John Wiley & Sons 1994.
Shaw (1995)
Shaw,M. Comparing Architectural Design Styles. IEEE Software. Noviembre 1995.
Shaw y Clements (1997)
Mary Shaw, Paul C. Clements. A Field Guide to Boxology: Preliminary Classification
of Architectural Styles for Software Systems. COMPSAC '97, 21st International
Computer Software and Applications Conference, agosto 1997, Washington, DC.
Sprunt et al (1989)
Sprunt, H.M.B., Sha, L., Lehoczky, J.P. Aperiodic Task Scheduling on Hard RealTime Systems. Real-Time Systems Journal, Kluwer Publishers, 1989.
Zamorano et al (1997)
Zamorano, J. A. Alonso, J.A. de la Puente. Building Safety Critical Real-Time
Systems with Reusable Cyclic Executives. Control Engineering Practice, vol. 5,
pp.999-1005. 1997
Referencias
CAPÍTULO 3
Bauer et al (1989)
F.L. Bauer, B. Moller, H. Partsch, P. Pepper. Formal Program Construction by
Transformations-Computer-Aided, Intuition-Guided Programming. Software
Engineering, Vol. 15, No. 2, febrero 1989.
Bennis y Biederman (1998)
Bennis, W. and Biederman, P. W. None of Us Is As Smart As All of Us. IEEE
Computer, Vol. 31, No. 3, 1998, pp. 116-117
Berners-Lee (1999)
Tim Berners-Lee. Weaving the Web. The Original Design and Ultimate Destiny of
the World Wide Web. HarperSanFrancisco, septiembre 1999.
Boehm (1981)
Barry W. Boehm. Software Engineering Economics. Prentice- Hall, Inc., 1981.
Carlson (2001)
David Carldon. Modelling XML Applications with UML, Addison Wesley, 2001.
Cleaveland (2001)
J. Craig Cleaveland. Program Generators with XML and Java. Prentice Hall PTR,
2001.
Czarnecki y Ulrich (2000)
Krzysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming. Methods,
Tools, and Applications. Addison-Wesley, junio 2000.
Dijkstra (1976)
Edsger W. Dijkstra. A Discipline of Programming, Prentice Hall, 1976.
Doorfman y Thayer (1996)
Merlin Dorfman, Richard H. Thayer. Software Engineering. IEEE Computer SocietyWiley. Septiembre 1996.
Fielding (2000)
Fielding, Roy Thomas. Architectural Styles and the Design of Network-based
Software Architectures. Doctoral dissertation, University of California Irvine, 2000.
http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm.
Garbajosa (2002)
Garbajosa, J. A Low Cost Software Engineering Environment for On-Board Real
Time Software. 1st Workshop on Advanced Real-Time Technologies, Aranjuez
(Spain), octubre 2002.
Guttag y Horning (1993)
Guttag, J. V. y J.J. Horning. Larch: Languages and tools for formal specifications.
Springer-Verlag, 1993.
Hinchley y Jarvis (1995)
Hinchley, M.G. y S.A. Jarvis. Concurrent Systems: Formal development in CSP.
McGraw-Hill, 1995.
Jacobs (2003)
Jacobs I. Architecture of the World Wide Web. W3C Working Draft 27 June 2003.
http://www.w3.org/TR/2003/WD-webarch-20030627/
Referencias
Jones (1991)
Jones, C.B. Systematic development using VDM. Prentice Hall, 1991.
Lamport (1989)
Leslie Lamport. A Simple Approach to Specifying Concurrent Systems.
Communications of the ACM, volumen 32, nº 1, enero 1989.
Lee (2000)
Edward A. Lee. Concurrent Models of Computation in System-Level Design. Forum
on Design Languages (FDL), Tubingen, Alemania. Septiembre 2000.
Linger (1994)
Linger, R. Cleanroom Process Model. IEEE Software, vol. 11, nº 2, pp. 50-58,
marzo 1994.
McLean (1993)
McLean. The Seventh Knowledge-Based Software Engineering Conference:
Proceedings:Virginia September 20-23, 1992. IEEE Computer Society. Enero 1993.
Oberndorf (1998)
Oberndorf P. COTS and Open Systems. Carnegie Mellon SW Engineering Institute
(SEI) Monographs on the Use of Commercial Software in Government Systems.
Febrero 1998.
Ossher y Tarr (2000)
H. Ossher and P. Tarr. Multi-Dimensional Separation of Concerns and The
Hyperspace Approach. Proceedings of the Symposium on SW Architectures and
Component Technology: The State of the Art in SW Development. Kluwer, 2000.
Rus et al (2001)
I. Rus, M. Lindvall and S.S. Sinha. Knowledge Management in Software
Engineering-A DACS State-of-the-Art Report. Produced by Fraunhofer Center for
Experimental Software Engineering Maryland and The University of Maryland
Simonyi (1995)
C. Simonyi. The death of computer languages, the birth of Intentional
Programming. Tech. Rep. MSR-TR-95-52, Microsoft Research, 1995.
Spievy (1992)
Spievy, J.M. The Z notation: a reference manual. Prentice.Hall, 1992
W3C (1999)
World Wide Web Consortium. XSLT: XSL Transformations. Version 1.0. W3C
Recommendation, 16 noviembre 1999.
W3C (1999b)
World Wide Web Consortium. XPath: XML Path Language. Version 1.0. W3C
Recommendation, 16 noviembre 1999.
W3C (2003)
World Wide Web Consortium. Web Services Architecture.
http://www.w3.org/TR/2003/WD-ws-arch-20030808/ W3C Working Draft 8 August
2003.
Referencias
CAPÍTULO 4
Bentley (1986)
Jon Bentley. Little languages. Communications of the ACM, 29(8):711-721, agosto
1986.
Bentley (2000)
Jon Bentley. Programming Pearls, Second Edition. Addison-Wesley, Inc., 2000.
Bentley y Bentley (1988)
Bentley J.L., Bentley J. More Programming Pearls: Confessions of a Coder, AddisonWesley, Reading, MA, 1988.
Gamma et al (1995)
Gamma E., Helm R., Johnson R. and Vlissides J. Design Patterns Elements of
Reusable Object-Orientated Software. Addison-Wesley, 1995.
Husted et al (2003)
Husted T., Dumoulin C., Franciscus G., Winterfeldt D. Struts in Action. Building web
applications with the leading Java framework. Manning Publications Co 2003.
Krasner y Pope (1988)
Krasner G. E and. Pope S.T. A cookbook for using the model view controller user
interface paradigm in Smalltalk-80. Journal of Object-Orientated Programming,
1(3):26-49, September 1988.
Langham y Ziegeler (2003)
Langham, M., Ziegeler, C. (2003). Cocoon: Building XML Applications. New Riders.
W3C (2001)
World Wide Web Consortium. Web Services Description Language (WSDL) 1.1. W3C
Note 15 March 2001. http://www.w3.org/TR/wsdl.
Descargar